Schmitz and Schnoebelen, 2011

Summary

Sylvain Schmitz and Philippe Schnoebelen (2011) Multiply-Recursive Bounds with Higman's Lemma ICALP 2011 Lecture Notes in Computer Science Luca Aceto, Monika Henzinger, and Jirí Sgall Springer 441–452 (URL)

BibTeX entry

@INPROCEEDINGS { icalp11,
    AUTHOR = { Sylvain Schmitz and {\relax Ph}ilippe Schnoebelen },
    TITLE = { Multiply-Recursive Bounds with {H}igman's {L}emma },
    EDITOR = { Luca Aceto and Monika Henzinger and Jir\'i Sgall },
    BOOKTITLE = { ICALP 2011 },
    CONFNUM = { 38th },
    CONFNAME = { International Colloquium on Automata, Languages and Programming },
    LOCATION = { Z\"urich, Switzerland },
    SERIES = { Lecture Notes in Computer Science },
    VOLUME = { },
    PAGES = { 441--452 },
    YEAR = { 2011 },
    DOI = { 10.1007/978-3-642-22012-8_35 },
    OAI = { arXiv:1103/4399 [cs.LO] },
    URL = { http://arxiv.org/abs/1103.4399 },
    PUBLISHER = { Springer },
}