Navegar

Colección

Datos Estadísticas

Lista de

15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008
2
2008
2
"On the formal semantics of IF-like logics" (2008) Figueira, S.; Gorín, D.; Grimson, R. 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008. 5110 LNAI:164-178
"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