| Relation-changing modal operators C Areces, R Fervari, G Hoffmann Logic Journal of the IGPL 23 (4), 601-627, 2015 | 81 | 2015 |
| Moving arrows and four model checking results C Areces, R Fervari, G Hoffmann Logic, Language, Information and Computation: 19th International Workshop …, 2012 | 55 | 2012 |
| Swap logic C Areces, R Fervari, G Hoffmann Logic Journal of IGPL 22 (2), 309-332, 2014 | 52 | 2014 |
| Htab: a terminating tableaux system for hybrid logic G Hoffmann, C Areces Electronic Notes in Theoretical Computer Science 231, 3-19, 2009 | 49 | 2009 |
| Modal logics with counting C Areces, G Hoffmann, A Denis Logic, Language, Information and Computation: 17th International Workshop …, 2010 | 30 | 2010 |
| Satisfiability for relation-changing logics C Areces, R Fervari, G Hoffmann, M Martel Journal of Logic and Computation 28 (7), 1443-1470, 2018 | 23 | 2018 |
| Relation-changing logics as fragments of hybrid logics C Areces, R Fervari, G Hoffmann, M Martel arXiv preprint arXiv:1609.04086, 2016 | 15 | 2016 |
| Tableaux for relation-changing modal logics C Areces, R Fervari, G Hoffmann Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 …, 2013 | 15 | 2013 |
| Undecidability of relation-changing modal logics C Areces, R Fervari, G Hoffmann, M Martel Dynamic Logic. New Trends and Applications: First International Workshop …, 2018 | 13 | 2018 |
| Lightweight hybrid tableaux G Hoffmann Journal of Applied Logic 8 (4), 397-408, 2010 | 10 | 2010 |
| Tâches de raisonnement en logiques hybrides G Hoffmann Université Henri Poincaré-Nancy 1, 2010 | 6 | 2010 |
| Undecidability of a very simple modal logic with binding G Hoffmann arXiv preprint arXiv:1508.03630, 2015 | 4 | 2015 |
| Inference tools for hybrid logics (InToHyLo) C Areces, P Blackburn, D Gorín, G Hoffmann Manuscript, LORIA, available from http://www. loria. fr/~ areces, 2007 | 4 | 2007 |
| A tableaux calculus for default intuitionistic logic V Cassano, R Fervari, G Hoffmann, C Areces, PF Castro Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 3 | 2019 |
| DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics C Areces, V Cassano, R Fervari, G Hoffmann International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 2 | 2023 |
| Symmetries in modal logics: A coinductive approach C Areces, G Hoffmann, E Orbe Proc. of the 7th Workshop on Logical and Semantic Frameworks, with …, 2012 | 2 | 2012 |
| Reasoning Tasks for Hybrid Logics G Hoffmann HAL 2010, 2010 | 2 | 2010 |
| Experiments in Theorem Proving for Topological Hybrid Logic D Sustretov, G Hoffmann, C Areces, P Blackburn Electronic Notes in Theoretical Computer Science 231, 309-321, 2009 | 1 | 2009 |
| Uso de plataformas en línea para la enseñanza de la programación G Hoffmann | | 2017 |
| Reporte de experiencias con la plataforma de enseñanza de lenguajes de programación Mumuki en la Universidad Nacional de Córdoba y la Universidad Blas Pascal L Benotti, G Hoffmann | | 2016 |
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
