Navegar

Colección

Datos Estadísticas

Lista de

2013
1363
20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013
1
"A finite model property for gödel modal logics" (2013) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013. 8071 LNCS:226-237