Navegar

Colección

Datos Estadísticas

Lista de

2011
1352
18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011
2
"Basic model theory for memory logics" (2011) Areces, C.;Carreiro, F.;Figueira, S. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:20-34
"On the expressive power of IF-logic with classical negation" (2011) Figueira, S.;Gorín, D.;Grimson, R. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:135-145