Recherche - Archive ouverte HAL

	Pour les 52 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Gödel-Dummett counter-models through matrix computation Dominique Larchey-Wendling Workshop on Disproving, IJCAR 2004, 2004, Ireland Communication dans un congrès hal-00008808v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formulae-as-Resources Management for an Intuitionistic Theorem Prover Didier Galmiche , Dominique Larchey-Wendling 5th Workshop on Logic, Language, Information and Computation - WoLLIC'98, 1998, Sao Paulo, Brazil, 6 p Communication dans un congrès inria-00098599v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Resource models and proof-search in Intuitionistic Linear Logic Didier Galmiche , Dominique Larchey-Wendling [Intern report] A00-R-341 \|\| galmiche00g, 2000, 39 p Rapport inria-00099314v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Certification of Breadth-First Algorithms by Extraction Dominique Larchey-Wendling , Ralph Matthes 13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩ Communication dans un congrès hal-02333423v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens Dominik Kirst , Dominique Larchey-Wendling Logical Methods in Computer Science, 2022, 18 (2), pp.17:1-17:29. ⟨10.46298/lmcs-18(2:17)2022⟩ Article dans une revue hal-03359508v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic Didier Galmiche , Dominique Larchey-Wendling [Intern report] 99-R-116 \|\| galmiche99k, 1999, 30 p Rapport inria-00098934v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Provability and Countermodels in Gödel-Dummett Logics Didier Galmiche , Dominique Larchey-Wendling , Yakoub Salhi International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, Jul 2007, Bremen, Germany. pp.35-52 Communication dans un congrès hal-00580307v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines Yannick Forster , Dominique Larchey-Wendling The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Jan 2019, Cascais, Portugal. pp.104-117, ⟨10.1145/3293880.3294096⟩ Communication dans un congrès hal-02333390v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Phase Semantics and the Undecidability of Boolean BI Dominique Larchey-Wendling GEOCAL-LAC, May 2011, Vandoeuvre-lès-Nancy, France Communication dans un congrès hal-00607775v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Separation Logic with One Quantified Variable Stephane Demri , Didier Galmiche , Dominique Larchey-Wendling , Daniel Mery 9th International Computer Science Symposium (CSR 2014), Jun 2014, Moscou, Russia. ⟨10.1007/978-3-319-06686-8_10⟩ Communication dans un congrès hal-01258802v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Reference Counting for Linear Counter-Model Generation Dominique Larchey-Wendling First APPSEM II Workshop, 2003, Nottingham, United Kingdom Communication dans un congrès hal-00008811v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		STRIP: Structural sharing and intuitionistic proof-search Didier Galmiche , Dominique Larchey-Wendling , Daniel Méry [Intern report] A00-R-342 \|\| galmiche00h, 2000, 5 p Rapport inria-00099328v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Labelled Tableaux for Proofs and Models in BI logics Dominique Larchey-Wendling Automated Deduction Day, Jul 2009, Vandoeuvre-lès-Nancy, France Communication dans un congrès hal-00607777v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq Dominique Larchey-Wendling , Jean-François Monin Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩ Chapitre d'ouvrage hal-03338785v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Constructive Decision via Redundancy-Free Proof-Search Dominique Larchey-Wendling Journal of Automated Reasoning, 2020, Special issue: Selected Extended Papers from IJCAR 2018, ⟨10.1007/s10817-020-09555-y⟩ Article dans une revue hal-02944196v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Looking at Separation Algebras with Boolean BI-eyes Dominique Larchey-Wendling , Didier Galmiche 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp. 326-340, ⟨10.1007/978-3-662-44602-7_25⟩ Communication dans un congrès hal-01256804v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Nondeterministic Phase Semantics and the Undecidability of Boolean BI Dominique Larchey-Wendling , Didier Galmiche ACM Transactions on Computational Logic, 2013, 14 (1), pp.6. ⟨10.1145/2422085.2422091⟩ Article dans une revue hal-01256956v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Combining proof-search and linear counter-model construction Dominique Larchey-Wendling First APPSEM-II Workshop 2003 - (Applied Semantics II), 2003, Nottingham/UK Communication dans un congrès inria-00099553v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Typing Total Recursive Functions in Coq Dominique Larchey-Wendling Interactive Theorem Proving - 8th International Conference, ITP 2017, Sep 2017, Brasilia, Brazil. pp.371-388, ⟨10.1007/978-3-319-66107-0_24⟩ Communication dans un congrès hal-02333333v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Simulating Induction-Recursion for Partial Algorithms Dominique Larchey-Wendling , Jean-François Monin 24th International Conference on Types for Proofs and Programs,TYPES 2018, Jun 2018, Braga, Portugal Communication dans un congrès hal-02333374v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Bounding Resource Consumption with Gödel-Dummett Logics Dominique Larchey-Wendling 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR'05, Dec 2005, Montego Bay, Jamaica. pp.682-696, ⟨10.1007/11591191_47⟩ Communication dans un congrès hal-00012536v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Some Remarks on Relations between Proofs and Games Didier Galmiche , Dominique Larchey-Wendling , Joseph Vidal-Rosset Pierre Edouard Bour, Manuel Rebuschi, Laurent Rollet,. Construction - Festschrift for Gerhard Heinzmann, College Publications, 2010, 978-1-84890-016-5 Chapitre d'ouvrage hal-00580302v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Kripke Models of Boolean BI and Invertible Resources Dominique Larchey-Wendling Domains IX Workshop 08, Sep 2008, Brighton, United Kingdom. pp.1 Communication dans un congrès hal-00580400v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Hilbert's Tenth Problem in Coq (Extended Version) Dominique Larchey-Wendling , Yannick Forster Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:35)2022⟩ Article dans une revue hal-03359505v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		STRIP: Structural Sharing for Efficient Proof-search Dominique Larchey-Wendling , Daniel Mery , Didier Galmiche 2001, Siena, Italy, pp.696 - 700 Communication dans un congrès hal-00008805v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics Dominique Larchey-Wendling Mathematical Foundations of Programming Semantics, May 2010, Ottawa, Canada. pp.369-387, ⟨10.1016/j.entcs.2010.08.022⟩ Communication dans un congrès hal-00577926v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Counter-model search in Gödel-Dummett logics Dominique Larchey-Wendling Second International Joint Conference on Automated Reasoning - IJCAR 2004, Jul 2004, Cork, Ireland. pp.274 -- 288, ⟨10.1007/978-3-540-25984-8_19⟩ Communication dans un congrès istex hal-00008806v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Gödel-Dummett counter-models through matrix computation Dominique Larchey-Wendling Electronic Notes in Theoretical Computer Science, 2005, 125 (3), pp.12. ⟨10.1016/j.entcs.2004.07.022⟩ Article dans une revue hal-00008810v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Special issue of Philosophia Scientiae - Alan Turing Jack Copeland , Didier Galmiche , Dominique Larchey-Wendling , Joseph Vidal-Rosset 16 (3), 2012 Ouvrages hal-01262634v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The formal strong completeness of partial monoidal Boolean BI Dominique Larchey-Wendling Journal of Logic and Computation, 2014, ⟨10.1093/logcom/exu031⟩ Article dans une revue hal-01256932v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Gödel-Dummett counter-models through matrix computation

Dominique Larchey-Wendling

Workshop on Disproving, IJCAR 2004, 2004, Ireland

Communication dans un congrès hal-00008808v1

Formulae-as-Resources Management for an Intuitionistic Theorem Prover

Didier Galmiche , Dominique Larchey-Wendling

5th Workshop on Logic, Language, Information and Computation - WoLLIC'98, 1998, Sao Paulo, Brazil, 6 p

Communication dans un congrès inria-00098599v1

Resource models and proof-search in Intuitionistic Linear Logic

Didier Galmiche , Dominique Larchey-Wendling

[Intern report] A00-R-341 || galmiche00g, 2000, 39 p

Rapport inria-00099314v1

Certification of Breadth-First Algorithms by Extraction

Dominique Larchey-Wendling , Ralph Matthes

13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩

Communication dans un congrès hal-02333423v1

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

Dominik Kirst , Dominique Larchey-Wendling

Logical Methods in Computer Science, 2022, 18 (2), pp.17:1-17:29. ⟨10.46298/lmcs-18(2:17)2022⟩

Article dans une revue hal-03359508v1

From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic

Didier Galmiche , Dominique Larchey-Wendling

[Intern report] 99-R-116 || galmiche99k, 1999, 30 p

Rapport inria-00098934v1

Provability and Countermodels in Gödel-Dummett Logics

Didier Galmiche , Dominique Larchey-Wendling , Yakoub Salhi

International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, Jul 2007, Bremen, Germany. pp.35-52

Communication dans un congrès hal-00580307v1

Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines

Yannick Forster , Dominique Larchey-Wendling

The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Jan 2019, Cascais, Portugal. pp.104-117, ⟨10.1145/3293880.3294096⟩

Communication dans un congrès hal-02333390v1

Phase Semantics and the Undecidability of Boolean BI

Dominique Larchey-Wendling

GEOCAL-LAC, May 2011, Vandoeuvre-lès-Nancy, France

Communication dans un congrès hal-00607775v1

Separation Logic with One Quantified Variable

Stephane Demri , Didier Galmiche , Dominique Larchey-Wendling , Daniel Mery

9th International Computer Science Symposium (CSR 2014), Jun 2014, Moscou, Russia. ⟨10.1007/978-3-319-06686-8_10⟩

Communication dans un congrès hal-01258802v1

Reference Counting for Linear Counter-Model Generation

Dominique Larchey-Wendling

First APPSEM II Workshop, 2003, Nottingham, United Kingdom

Communication dans un congrès hal-00008811v1

STRIP: Structural sharing and intuitionistic proof-search

Didier Galmiche , Dominique Larchey-Wendling , Daniel Méry

[Intern report] A00-R-342 || galmiche00h, 2000, 5 p

Rapport inria-00099328v1

Labelled Tableaux for Proofs and Models in BI logics

Dominique Larchey-Wendling

Automated Deduction Day, Jul 2009, Vandoeuvre-lès-Nancy, France

Communication dans un congrès hal-00607777v1

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

Dominique Larchey-Wendling , Jean-François Monin

Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩

Chapitre d'ouvrage hal-03338785v1

Constructive Decision via Redundancy-Free Proof-Search

Dominique Larchey-Wendling

Journal of Automated Reasoning, 2020, Special issue: Selected Extended Papers from IJCAR 2018, ⟨10.1007/s10817-020-09555-y⟩

Article dans une revue hal-02944196v1

Looking at Separation Algebras with Boolean BI-eyes

Dominique Larchey-Wendling , Didier Galmiche

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp. 326-340, ⟨10.1007/978-3-662-44602-7_25⟩

Communication dans un congrès hal-01256804v1

Nondeterministic Phase Semantics and the Undecidability of Boolean BI

Dominique Larchey-Wendling , Didier Galmiche

ACM Transactions on Computational Logic, 2013, 14 (1), pp.6. ⟨10.1145/2422085.2422091⟩

Article dans une revue hal-01256956v1

Combining proof-search and linear counter-model construction

Dominique Larchey-Wendling

First APPSEM-II Workshop 2003 - (Applied Semantics II), 2003, Nottingham/UK

Communication dans un congrès inria-00099553v1

Typing Total Recursive Functions in Coq

Dominique Larchey-Wendling

Interactive Theorem Proving - 8th International Conference, ITP 2017, Sep 2017, Brasilia, Brazil. pp.371-388, ⟨10.1007/978-3-319-66107-0_24⟩

Communication dans un congrès hal-02333333v1

Simulating Induction-Recursion for Partial Algorithms

Dominique Larchey-Wendling , Jean-François Monin

24th International Conference on Types for Proofs and Programs,TYPES 2018, Jun 2018, Braga, Portugal

Communication dans un congrès hal-02333374v1

Bounding Resource Consumption with Gödel-Dummett Logics

Dominique Larchey-Wendling

12th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR'05, Dec 2005, Montego Bay, Jamaica. pp.682-696, ⟨10.1007/11591191_47⟩

Communication dans un congrès hal-00012536v1

Some Remarks on Relations between Proofs and Games

Didier Galmiche , Dominique Larchey-Wendling , Joseph Vidal-Rosset

Pierre Edouard Bour, Manuel Rebuschi, Laurent Rollet,. Construction - Festschrift for Gerhard Heinzmann, College Publications, 2010, 978-1-84890-016-5

Chapitre d'ouvrage hal-00580302v2