Login / Signup

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma.

Diego FigueiraSantiago FigueiraSylvain SchmitzPhilippe Schnoebelen
Published in: LICS (2011)
Keyphrases