Trakhtenbrot’s Theorem in Coq: A Constructive Approach to Finite Model Theory

von Kirst, Dominik
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

von Larchey-Wendling, Dominique
Veröffentlicht in International Autumn School "Proof and Computation" (2019 : Herrsching a. Ammersee) Proof and computation II (2022)

Automated reasoning with analytic tableaux and related methods : 22th international conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 ; proceedings

Veröffentlicht 2013