Charly Gries

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Intuitionistic Logic

Database Systems

Top Venues

J. Autom. Reason.

Publications

Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. J. Autom. Reason. 62 (1) (2019)