Navegar

Colección

Datos Estadísticas

Lista de

Areces, Carlos Eduardo
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