Trakhtenbrot's Theorem in Coq: A Constructive Approach to Finite Model Theory
(pdf)
Dominik Kirst, Dominique Larchey-Wendling
International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France
Hilbert's Tenth Problem in Coq
(pdf)
Dominique Larchey-Wendling, Yannick Forster
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany
Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines
(pdf)
Yannick Forster, Dominique Larchey-Wendling
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019