Navegar

Colección

Datos Estadísticas

Lista de

2011
1352
26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011
1
"Ackermannian and primitive-recursive bounds with Dickson's Lemma" (2011) Figueira, D.; Figueira, S.; Schmitz, S.; Schnoebelen, P. 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011:269-278