Algorithmic Theory of WQOs

Figueira et al, 2011

Summary

Diego Figueira, Santiago Figueira, Sylvain Schmitz, and Philippe Schnoebelen (2011) Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma LICS 2011 IEEE 269–278 (URL)

BibTeX entry

@INPROCEEDINGS { Figueiraetal10,
    AUTHOR = { Figueira, Diego and Figueira, Santiago and Schmitz, Sylvain and Schnoebelen, {\relax Ph}ilippe },
    TITLE = { {A}ckermannian and Primitive-Recursive Bounds with {D}ickson's Lemma },
    BOOKTITLE = { LICS 2011 },
    CONFNAME = { Annual IEEE Symposium on Logic in Computer Science },
    CONFNUM = { 26th },
    LOCATION = { Toronto, Canada },
    PAGES = { 269--278 },
    DOI = { 10.1109/LICS.2011.39 },
    PUBLISHER = { IEEE },
    URL = { http://arxiv.org/abs/1007.2989 },
    YEAR = { 2011 },
}