Search - Archive ouverte HAL Access content directly

Filter your results

103 Results

An Epistemic Resource Logic based on Boolean BI

Didier Galmiche , Pierre Kimmel , David Pym
Int. Workshop Substructural Logics: Semantics, Proof Theory and Applications, SYSMICS 2018, 2018, Vienna, Austria
Conference papers hal-02986789v1

Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic

Didier Galmiche , Daniel Méry
International Workshop on Automated Reasoning in Quantified Non-Classical Logics, ARQNL 2018, 2018, Oxford, United Kingdom. pp.49-63
Conference papers hal-02982539v1

Separation Logic with One Quantified Variable

Stephane Demri , Didier Galmiche , Dominique Larchey-Wendling , Daniel Mery
CSR 2014, Jun 2014, Moscou, Russia. ⟨10.1007/978-3-319-06686-8_10⟩
Conference papers hal-01258802v1

A Connection-based Characterization of Bi-intuitionistic Validity

Didier Galmiche , Daniel Mery
Journal of Automated Reasoning, 2013, 51 (1), pp.3--26. ⟨10.1007/s10817-013-9279-4⟩
Journal articles istex hal-01258963v1

STRIP: Structural sharing and intuitionistic proof-search

Didier Galmiche , Dominique Larchey-Wendling , Daniel Méry
[Intern report] A00-R-342 || galmiche00h, 2000, 5 p
Reports inria-00099328v1

Connection Methods in Linear Logic and Proof nets Construction

Didier Galmiche
Theoretical Computer Science, 2000, 232 (1-2), pp.231-272. ⟨10.1016/S0304-3975(99)00176-0⟩
Journal articles inria-00099205v1

Labelled Calculi for Lukasiewicz Logics

Didier Galmiche , Yakoub Salhi
15th International Workshop on Logic, Language, Information and Computation - WoLLIC '08, Jul 2008, Edinburgh, United Kingdom. pp.194--207
Conference papers hal-00580305v1

Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity

Didier Galmiche , Marta Gawek , Daniel Méry
6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, Jul 2021, Buenos Aires/online, Argentina. pp.1-21, ⟨10.4230/LIPIcs.FSCD.2021.13⟩
Conference papers hal-03563655v1

A Connection-based Characterization of Bi-intuitionistic Validity

Didier Galmiche , Daniel Mery
23rd International Conference on Automated Deduction, CADE-23, Jul 2011, Wroclaw, Poland. pp.253-267
Conference papers hal-00580301v1
Image document

The Undecidability of Boolean BI through Phase Semantics

Dominique Larchey-Wendling , Didier Galmiche
25th Annual IEEE Symposium on Logic in Computer Science - LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.140-149, ⟨10.1109/LICS.2010.18⟩
Conference papers hal-00577919v1

The semantics of BI and resource tableaux

Didier Galmiche , Daniel Méry , David Pym
Mathematical Structures in Computer Science, 2005, 15, pp.1033-1088
Journal articles hal-00076735v1

Alan Turing

Jack Copeland , Didier Galmiche , Dominique Larchey-Wendling , Joseph Vidal-Rosset
Jack Copeland; Didier Galmiche; Dominique Larchey-Wendling; Joseph Vidal-Rosset. , 2012, 9782841746033
Books hal-01245182v1

A Separation Logic for Resource Distribution

Nicolas Biri , Didier Galmiche
23rd Conference on Foundations of Software Technology and Theoretical Computer Science 2003 - FST TCS'03, 2003, Mumbai/India, pp.23-37, ⟨10.1007/b94618⟩
Conference papers inria-00099555v1

Special issue of Philosophia Scientiae - Alan Turing

Jack Copeland , Didier Galmiche , Dominique Larchey-Wendling , Joseph Vidal-Rosset
16 (3), 2012
Books hal-01262634v1

Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed Logics

Didier Galmiche
Semantic Foundations of Proof-search, 2001, Schloss Dagsthul/Germany
Conference papers inria-00100575v1

Expressivity properties of Boolean BI through Relational Models

Didier Galmiche , Dominique Larchey-Wendling
26th Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2006, Dec 2006, Kolkota, India. pp.357-368, ⟨10.1007/11944836_33⟩
Conference papers istex hal-00176787v1

Special Issue on Proof Theory of Concurrent Object-Oriented Programming

Didier Galmiche , Jean-Paul Bahsoun , José Luiz Fiadeiro
Cambridge University Press, 1999, Mathematical Structures in Computer Science
Books inria-00098994v1

Proof nets Construction and Automated Deduction in Non-commutative Linear Logic - extended abstract

Didier Galmiche , Bruno Martin
Electronic Notes in Theoretical Computer Science, 1998, 17, pp.1-20
Journal articles inria-00098604v1

STRIP: Structural Sharing for Efficient Proof-search

Dominique Larchey-Wendling , Daniel Mery , Didier Galmiche
2001, Siena, Italy, pp.696 - 700
Conference papers hal-00008805v1

Proof Plans and Proof Nets in Linear Logic -Abstract

Didier Galmiche
Floc'99 Workshop on Strategies in Automated Deduction, 1999, Trento, Italy, 2 p
Conference papers inria-00098989v1

Labelled Proof Systems for Intuitionistic Provability

Didier Galmiche , Vincent Balat
D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, L. Vigano. Labelled Deduction, 17 (17), Kluwer Academic Publishers, 31 p, 2000, Applied Logic Series, 0-7923-6237-3
Book sections inria-00098993v1

Resource Models and Proofs in Bunched Implications Logic

Didier Galmiche
First APPSEM-II Workshop 2003 - (Applied Semantics II), 2003, Nottingham/UK
Conference papers inria-00099552v1

Tableaux and Resource Graphs for Separation Logic

Didier Galmiche , Daniel Mery
Journal of Logic and Computation, 2010, 20 (1), pp.189-231. ⟨10.1093/logcom/exn066⟩
Journal articles istex hal-00580299v1
Image document

A procedure for automatic proof nets construction

Didier Galmiche , Guy Perrier
Conference on Logic Programming and Automated Reasoning, LPAR'92, 1992, St-Petersburg, Russia. pp.42-53
Conference papers hal-01297750v1

A substructural epistemic resource logic: theory and modelling applications

Didier Galmiche , Pierre Kimmel , David Pym
Journal of Logic and Computation, 2019, 29 (8), pp.1251-1287. ⟨10.1093/logcom/exz024⟩
Journal articles hal-02980658v1

Label-free Proof Systems for Intuitionistic Modal Logic IS5

Didier Galmiche , Yakoub Salhi
16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Apr 2010, Dakar, Senegal. pp.255-271, ⟨10.1007/978-3-642-17511-4_15⟩
Conference papers istex hal-00580298v1

Labelled Cyclic Proofs for Separation Logic

Didier Galmiche , Daniel Mery
Journal of Logic and Computation, 2021, 31 (3), pp.892-922
Journal articles hal-03563631v1

Proof-search and Proof nets in Mixed Linear Logic

Didier Galmiche , Jean-Marie Notin
Electronic Notes in Theoretical Computer Science, 2001, 37, pp.1-33
Journal articles inria-00099227v1

A Logic of Separating Modalities

Jean-René Courtault , Didier Galmiche , David Pym
Theoretical Computer Science, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
Journal articles hal-02980943v1

A Modal Extension of Boolean BI for Resource Transformations

Jean-René Courtault , Didier Galmiche
Int. Workshop on Logics for Resources, Processes and Programs, LRPP 2013, 2013, Nancy, France
Conference papers hal-01259775v1