TY  - RPRT
TI  - Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
AU  - Diego Figueira
AU  - Santiago Figueira
AU  - Sylvain Schmitz
AU  - Philippe Schnoebelen
PY  - 2011
DO  - 10.1109/lics.2011.39
UR  - https://arxiv.org/abs/1007.2989
ID  - 1007.2989
ER  -