Dominique Larchey-Wendling | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Yannick Forster
10 publications
Dominik Kirst
5 publications

research

∙ 04/29/2021

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

We study finite first-order satisfiability (FSAT) in the constructive se...

0 Dominik Kirst, et al. ∙

research

∙ 04/15/2020

Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory

We study finite first-order satisfiability (FSAT) in the constructive se...

0 Dominik Kirst, et al. ∙

research

∙ 03/10/2020

Hilbert's Tenth Problem in Coq

We formalise the undecidability of solvability of Diophantine equations,...

0 Dominique Larchey-Wendling, et al. ∙