Navegar

Colección

Datos Estadísticas

Lista de

Mera, Sergio Fernando
6
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