Sciweavers

CORR
2010
Springer

Ackermann and Primitive-Recursive Bounds with Dickson's Lemma

13 years 11 months ago
Ackermann and Primitive-Recursive Bounds with Dickson's Lemma
Diego Figueira, Santiago Figueira, Sylvain Schmitz
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen
Comments (0)