Navegar

Colección

Datos Estadísticas

Lista de

Areces, Carlos Eduardo
6
International Symposium on Logical Foundations of Computer Science, LFCS 2009
1
"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