Navegar

Colección

Datos Estadísticas

Lista de

Mera, Sergio Fernando
6
2008
1
"Expressive power and decidability for memory logics" (2008) Areces, C.; Figueira, D.; Figueira, S.; Mera, S. 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008. 5110 LNAI:56-68