.:. Consultation > Liste par auteurs > Hoffmann .:.

5 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Tâches de raisonnement en logiques hybrides Hoffmann G. Université Henri Poincaré - Nancy I (13/12/2010), Patrick Blackburn (Dir.) [tel-00541664 - version 1]

Lightweight Hybrid Tableaux Hoffmann G. Journal of Applied Logic 8, 4 (2010) 397--408 [hal-00535976 - version 1]

Modal Logics with Counting Areces C., Hoffmann G., Denis A. A. J. Dans 17th Workshop on Logic, Language, Information and Computation - WoLLIC 2010 (2010) ?? [hal-00482337 - version 1]

Experiments in Theorem Proving for Topological Hybrid Logic Sustretov D., Hoffmann G., Areces C., Blackburn P. Dans Methods for Modalities 5 (2007) [inria-00187303 - version 1]

HTab: A Terminating Tableaux System for Hybrid Logic Hoffmann G., Areces C. Dans Methods for Modalities 5 (2007) [inria-00187300 - version 1]