Guillaume Hoffmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2010–2023
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TABLEAUX | DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. | Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann |
| 2019 | CADE | A Tableaux Calculus for Default Intuitionistic Logic. | Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro |
| 2017 | TABLEAUX | Undecidability of Relation-Changing Modal Logics. | Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel |
| 2012 | WoLLIC | Moving Arrows and Four Model Checking Results. | Carlos Areces, Raul Fervari, Guillaume Hoffmann |
| 2010 | WoLLIC | Modal Logics with Counting. | Carlos Areces, Guillaume Hoffmann, Alexandre Denis |