Guillaume Hoffmann
Affiliations:- Universidad Nacional de Córdoba, Córdoba, Argentina
According to our database1,
Guillaume Hoffmann
authored at least 16 papers
between 2007 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
2
1
1
1
1
1
1
1
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
2017
Proceedings of the Dynamic Logic. New Trends and Applications, 2017
2016
Proceedings of the Seventh International Symposium on Games, 2016
2015
2014
2013
Proceedings of the Frontiers of Combining Systems, 2013
2012
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012
Proceedings of the Logic, Language, Information and Computation, 2012
2010
PhD thesis, 2010
2007
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Proceedings of the 5th Workshop on Methods for Modalities, 2007