Navegar

Colección

Datos Estadísticas

Lista de

Mera, Sergio Fernando
6
2012
1
"Completeness results for memory logics" (2012) Areces, C.; Figueira, S.; Mera, S. Annals of Pure and Applied Logic. 163(7):961-972