Login / Signup
Guillaume Hoffmann
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 5
Top Topics
Intuitionistic Logic
Modal Logic
Wide Class
Sequent Calculus
Top Venues
Log. J. IGPL
DALI@TABLEAUX
CoRR
J. Log. Comput.
</>
Publications
</>