Dominique Larchey-Wendling
Université de Lorraine
H-index: 15
Europe-France
Top articles of Dominique Larchey-Wendling
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
arXiv preprint arXiv:2312.03426
2023/12/6
Dominique Larchey-Wendling
H-Index: 11
Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq
2023
Dominique Larchey-Wendling
H-Index: 11
A Coq library for mechanised first-order logic
2022/8/12
Dominik Kirst
H-Index: 7
Andrej Dudenhefner
H-Index: 8
Yannick Forster
H-Index: 11
Dominique Larchey-Wendling
H-Index: 11
Benjamin Peters
H-Index: 3
Gert Smolka
H-Index: 12
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Logical Methods in Computer Science
2022/6/14
Dominik Kirst
H-Index: 7
Dominique Larchey-Wendling
H-Index: 11
Hilbert's Tenth Problem in Coq (Extended Version)
Logical Methods in Computer Science
2022/3/1
Dominique Larchey-Wendling
H-Index: 11
Yannick Forster
H-Index: 11
The Braga method: Extracting certified algorithms from complex recursive schemes in Coq
2022
Dominique Larchey-Wendling
H-Index: 11
Formalizing the undecidability of relevance logic and non-commutative linear logic
MASTER INFORMATIQUE
2021/11/26
Synthetic undecidability of MSELL via FRACTRAN mechanised in coq
2021/7/19
Dominique Larchey-Wendling
H-Index: 11
A Coq library of undecidable problems
2020/1/25
Yannick Forster
H-Index: 11
Dominique Larchey-Wendling
H-Index: 11
Andrej Dudenhefner
H-Index: 8
Dominik Kirst
H-Index: 7
Gert Smolka
H-Index: 12
Special Issue of Journal of Automated Reasoning-IJCAR 2018
2020
Trakhtenbrot’s theorem in Coq: a constructive approach to finite model theory
2020
Dominik Kirst
H-Index: 7
Dominique Larchey-Wendling
H-Index: 11
Constructive decision via redundancy-free proof-search
Journal of Automated Reasoning
2020/10
Dominique Larchey-Wendling
H-Index: 11