The Parametric Ordinal-Recursive Complexity of Post Embedding Problems

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-642-37075-5_18 ◽

2013 ◽

pp. 273-288 ◽

Author(s):

Prateek Karandikar ◽

Sylvain Schmitz

Download Full-text