Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Boutry, Pierre
Gries, Charly
Narboux, Julien
and
Schreck, Pascal
2019.
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.
Journal of Automated Reasoning,
Vol. 62,
Issue. 1,
p.
1.
Boutry, Pierre
Kastenbaum, Stéphane
and
Saintier, Clément
2024.
Towards an Independent Version of Tarski's System of Geometry.
Electronic Proceedings in Theoretical Computer Science,
Vol. 398,
Issue. ,
p.
73.