Dominique Larchey-Wendling

Available identifiers

zbMath Open larchey-wendling.dominiqueMaRDI QIDQ877885

List of research outcomes

Publication	Date of Publication	Type
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations	2023-12-06	Paper
Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq	2023-06-23	Paper
Trakhtenbrot’s Theorem in Coq	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094119	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5094147	2022-08-02	Paper
Hilbert's Tenth Problem in Coq	2022-07-18	Paper
The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq	2022-06-17	Paper
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens	2021-04-29	Paper
Constructive decision via redundancy-free proof-search	2020-11-02	Paper
Certification of breadth-first algorithms by extraction	2020-05-05	Paper
Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory	2020-04-15	Paper
Constructive decision via redundancy-free proof-search	2018-10-18	Paper
Proof pearl: constructive extraction of cycle finding algorithms	2018-10-04	Paper
Typing total recursive functions in Coq	2018-01-04	Paper
Separation logic with one quantified variable	2017-10-20	Paper
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics	2016-07-08	Paper
The formal strong completeness of partial monoidal Boolean BI	2016-07-07	Paper
Nondeterministic Phase Semantics and the Undecidability of Boolean BI	2015-09-17	Paper
Looking at Separation Algebras with Boolean BI-eyes	2014-09-15	Paper
Separation Logic with One Quantified Variable	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q2848063	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3007292	2011-06-21	Paper
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding	2009-06-30	Paper
Bounding Resource Consumption with Gödel-Dummett Logics	2008-05-27	Paper
Expressivity Properties of Boolean BI Through Relational Models	2008-04-17	Paper
Automated Reasoning	2007-09-25	Paper
Graph-based decision for Gödel-Dummett logics	2007-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4809045	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4540540	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4513584	2001-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4501574	2001-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4223030	1999-01-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominique Larchey-Wendling