Karandikar and Schmitz, 2013

Summary

Prateek Karandikar and Sylvain Schmitz (2013) The Parametric Ordinal-Recursive Complexity of Post Embedding Problems FoSSaCS 2013 Frank Pfenning Springer 273–288 (URL)

BibTeX entry

@INPROCEEDINGS { KarandikarS13,
    AUTHOR = { Prateek Karandikar and Sylvain Schmitz },
    TITLE = { The Parametric Ordinal-Recursive Complexity of {P}ost Embedding Problems },
    BOOKTITLE = { FoSSaCS 2013 },
    CONFNUM = { 16th },
    CONFNAME = { International Conference on Foundations of Software Science and Computation Structures },
    LOCATION = { Rome, Italy },
    EDITOR = { Frank Pfenning },
    SERIES = { },
    VOLUME = { 7794 },
    PAGES = { 273--288 },
    YEAR = { 2013 },
    MONTH = { },
    URL = { http://arxiv.org/abs/1211.5259 },
    OAI = { arXiv:1211.5259 [cs.LO] },
    DOI = { 10.1007/978-3-642-37075-5_18 },
    PUBLISHER = { Springer },
}