Navegar

Colección

Datos Estadísticas

Lista de

Figueira, Santiago Daniel
30
2009
2
"Indifferent sets" (2009) Figueira, S.; Miller, J.S.; Nies, A. Journal of Logic and Computation. 19(2):425-443
"Completeness results for memory logics" (2009) Areces, C.; Figueira, S.; Mera, S. International Symposium on Logical Foundations of Computer Science, LFCS 2009. 5407 LNCS:16-30