The Parametric Ordinal-Recursive Complexity of Post Embedding Problems.

Prateek Karandikar, Sylvain Schmitz

Browse the full FOSSACS paper archive.