Navegar

Colección

Datos Estadísticas

Lista de

Figueira, Santiago Daniel
30
2012
2
"Linearizing bad sequences: Upper bounds for the product and majoring well quasi-orders" (2012) Abriola, S.; Figueira, S.; Senno, G. 19th International Workshop on Logic, Language, Information and Computation, WoLLIC 2012. 7456 LNCS:110-126
"Completeness results for memory logics" (2012) Areces, C.; Figueira, S.; Mera, S. Annals of Pure and Applied Logic. 163(7):961-972