Navegar

Colección

Datos Estadísticas

Lista de

2009
1185
18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009
1
"Tableaux and model checking for memory logics" (2009) Areces, C.; Figueira, D.; Gorín, D.; Mera, S. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009. 5607 LNAI:47-61