2023
Journal articles
- titre
- An Epistemic Separation Logic with Action Models
- auteur
- Hans van Ditmarsch, Didier Galmiche, Marta Gawek
- article
- Journal of Logic, Language and Information, 2023, 32, pp.89-116. ⟨10.1007/s10849-022-09372-z⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s10849-022-09372-z
- Accès au bibtex
-
Conference papers
- titre
- A separation logic with histories of epistemic actions as resources
- auteur
- Hans Van Ditmarsch, Didier Galmiche, Marta Gawek
- article
- 29th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2023), Jul 2023, Halifax NS, Canada. pp.161-177, ⟨10.1007/978-3-031-39784-4_10⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-031-39784-4_10
- Accès au bibtex
-
- titre
- Labelled Tableaux for Linear Time Bunched Implication Logic
- auteur
- Didier Galmiche, Daniel Méry
- article
- 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. ⟨10.4230/LIPIcs.FSCD.2023.27⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.4230/LIPIcs.FSCD.2023.27
- Accès au bibtex
-
2021
Journal articles
- titre
- Labelled Cyclic Proofs for Separation Logic
- auteur
- Didier Galmiche, Daniel Mery
- article
- Journal of Logic and Computation, 2021, 31 (3), pp.892-922. ⟨10.1093/logcom/exab017⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/logcom/exab017
- Accès au bibtex
-
Conference papers
- titre
- Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity
- auteur
- Didier Galmiche, Marta Gawek, Daniel Méry
- article
- 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⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.4230/LIPIcs.FSCD.2021.13
- Accès au bibtex
-
- titre
- An Epistemic Separation Logic with Action Models
- auteur
- Hans van Ditmarsch, Didier Galmiche, Marta Gawek
- article
- 9th Indian Conference on Logic and its Applications, ICLA 2021, Mar 2021, Chennai/online, India
- typdoc
- Conference papers
- Accès au bibtex
-
2020
Books
- titre
- Special Issue of Journal of Automated Reasoning – IJCAR 2018
- auteur
- Didier Galmiche, Stephan Schulz, Roberto Sebastiani
- article
- 64 (7), 2020, Journal of Automated Reasoning
- typdoc
- Books
- Accès au bibtex
-
2019
Journal articles
- titre
- A substructural epistemic resource logic: theory and modelling applications
- auteur
- Didier Galmiche, Pierre Kimmel, David Pym
- article
- Journal of Logic and Computation, 2019, 29 (8), pp.1251-1287. ⟨10.1093/logcom/exz024⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/logcom/exz024
- Accès au bibtex
-
Conference papers
- titre
- Relating Labelled and Label-Free Bunched Calculi in BI Logic
- auteur
- Didier Galmiche, Michel Marti, Daniel Méry
- article
- 28th International Conference on Automated Reasoning with Anamytic Tableaux and Related Methods, TABLEAUX 2019, 2019, Londres, United Kingdom. pp.130-146
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- From Bunches to Labels and Back in BI Logic
- auteur
- Didier Galmiche, Michel Marti, Daniel Méry
- article
- Int. Workshop Syntax meets Semantics, SYSMICS 2019, 2019, Amsterdam, Netherlands
- typdoc
- Conference papers
- Accès au bibtex
-
2018
Journal articles
- titre
- Tree-sequent calculi and decision procedures for intuitionistic modal logics
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- Journal of Logic and Computation, 2018, 28 (5), pp.967-989. ⟨10.1093/logcom/exv039⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/logcom/exv039
- Accès au bibtex
-
- titre
- A Modal Separation Logic for Resource Dynamics
- auteur
- Jean-René Courtault, Didier Galmiche
- article
- Journal of Logic and Computation, 2018, 28 (4), pp.733-778. ⟨10.1093/logcom/exv031⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/logcom/exv031
- Accès au bibtex
-
- titre
- Tree-sequent calculi and decision procedures for intuitionistic modal logics
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- Journal of Logic and Computation, 2018, 28 (5), pp.967-989. ⟨10.1093/logcom/exv039⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/logcom/exv039
- Accès au bibtex
-
Conference papers
- titre
- Labelled Cyclic Proofs for Separation Logic
- auteur
- Didier Galmiche, Daniel Méry
- article
- International Workshop on Automated Deduction for Separation Logics, ADSL 2018, 2018, Oxford, United Kingdom
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic
- auteur
- Didier Galmiche, Daniel Méry
- article
- International Workshop on Automated Reasoning in Quantified Non-Classical Logics, ARQNL 2018, 2018, Oxford, United Kingdom. pp.49-63
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- An Epistemic Resource Logic based on Boolean BI
- auteur
- Didier Galmiche, Pierre Kimmel, David Pym
- article
- Int. Workshop Substructural Logics: Semantics, Proof Theory and Applications, SYSMICS 2018, 2018, Vienna, Austria
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Proof Translations in BI Logic
- auteur
- Didier Galmiche, Michel Marti, Daniel Méry
- article
- International Workshop on External and Internal Calculi for Non-Classical Logics, EICNCL 2018, 2018, Oxford, United Kingdom
- typdoc
- Conference papers
- Accès au bibtex
-
Books
- titre
- Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation
- auteur
- Didier Galmiche, David Pym
- article
- Oxford University Press (OUP), 28 (4), 2018, ⟨10.1093/logcom/exv029⟩
- typdoc
- Books
- DOI
- DOI : 10.1093/logcom/exv029
- Accès au bibtex
-
Proceedings
- titre
- 9th International Joint Conference on Automated Reasoning , IJCAR 2018
- auteur
- Didier Galmiche, Stephan Schulz, Roberto Sebastiani
- article
- 9th International Joint Conference on Automated Reasoning IJCAR 2018, Oxford, United Kingdom. 10900, 2018, Lecture Notes in Artificial Intelligence
- typdoc
- Proceedings
- Accès au bibtex
-
2017
Journal articles
- titre
- Separation Logic with One Quantified Variable
- auteur
- Stephane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mery
- article
- Theory of Computing Systems, 2017, 61 (2), pp.371-461. ⟨10.1007/s00224-016-9713-1⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s00224-016-9713-1
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Substructural Epistemic Resource Logic
- auteur
- Didier Galmiche, Pierre Kimmel, David Pym
- article
- 7th Indian Conference on Logic and Its Applications, ICLA 2017, 2017, Kanpur, India. pp.77-91
- typdoc
- Conference papers
- Accès au bibtex
-
2016
Journal articles
- titre
- A Logic of Separating Modalities
- auteur
- Jean-René Courtault, Didier Galmiche, David Pym
- article
- Theoretical Computer Science, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.tcs.2016.04.040
- Accès au bibtex
-
Conference papers
- titre
- About intuitionistic public announcement logic
- auteur
- Philippe Balbiani, Didier Galmiche
- article
- 11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.97-116
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Books
- titre
- Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation
- auteur
- Didier Galmiche, Stéphane Graham-Lengrand
- article
- Oxford University Press (OUP), 26 (2), 2016, ⟨10.1093/logcom/exu039⟩
- typdoc
- Books
- DOI
- DOI : 10.1093/logcom/exu039
- Accès au bibtex
-
2015
Conference papers
- titre
- An Epistemic Separation Logic
- auteur
- Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
- article
- WoLLIC 2015 – 22nd Int. Workshop on Logic, Language, Information, and ComputationWoLLIC 2015, 2015, Bloomington, IN, United States. pp.156-173, ⟨10.1007/978-3-662-47709-0_12⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-662-47709-0_12
- Accès au bibtex
-
2014
Conference papers
- titre
- Looking at Separation Algebras with Boolean BI-eyes
- auteur
- Dominique Larchey-Wendling, Didier Galmiche
- article
- 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp. 326-340, ⟨10.1007/978-3-662-44602-7_25⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-662-44602-7_25
- Accès au texte intégral et bibtex
-
- titre
- Separation Logic with One Quantified Variable
- auteur
- Stephane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mery
- article
- 9th International Computer Science Symposium (CSR 2014), Jun 2014, Moscou, Russia. ⟨10.1007/978-3-319-06686-8_10⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-319-06686-8_10
- Accès au texte intégral et bibtex
-
- titre
- A sequent calculus with labels for Public Announcement Logic
- auteur
- Philippe Balbiani, Vincent Demange, Didier Galmiche
- article
- Conference on Advances in Modal Logic (AiML 2014), 2014, Groningen, Netherlands
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Books
- titre
- Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation.
- auteur
- Didier Galmiche, Stéphane Graham-Lengrand
- article
- Oxford University Press, 2014, D M Gabbay
- typdoc
- Books
- Accès au bibtex
-
2013
Journal articles
- titre
- Nondeterministic Phase Semantics and the Undecidability of Boolean BI
- auteur
- Dominique Larchey-Wendling, Didier Galmiche
- article
- ACM Transactions on Computational Logic, 2013, 14 (1), pp.6. ⟨10.1145/2422085.2422091⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/2422085.2422091
- Accès au texte intégral et bibtex
-
- titre
- A Connection-based Characterization of Bi-intuitionistic Validity
- auteur
- Didier Galmiche, Daniel Mery
- article
- Journal of Automated Reasoning, 2013, 51 (1), pp.3–26. ⟨10.1007/s10817-013-9279-4⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s10817-013-9279-4
- Accès au bibtex
-
Conference papers
- titre
- A Modal Extension of Boolean BI for Resource Transformations
- auteur
- Jean-René Courtault, Didier Galmiche
- article
- Int. Workshop on Logics for Resources, Processes and Programs, LRPP 2013, 2013, Nancy, France
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- An Interactive Prover for Bi-intuitionistic Logic
- auteur
- Jean-René Courtault, Didier Galmiche, Daniel Méry
- article
- Int. Workshop on the Implementation of Logics, IWIL 2013, 2013, Stellenbosch, South Africa
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A Modal BI Logic for Dynamic Resource Properties
- auteur
- Jean-René Courtault, Didier Galmiche
- article
- Int. Symposium on Logical Foundations of Computer Science, LFCS, 2013, San Diego, CA, United States. pp.134-148
- typdoc
- Conference papers
- Accès au bibtex
-
Books
- titre
- 22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- Didier Galmiche and Dominique Larchey-Wendling 2013, Lecture Notes in Artificial Intelligence 8123
- typdoc
- Books
- Accès au bibtex
-
2012
Books
- titre
- Alan Turing
- auteur
- Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
- article
- Jack Copeland; Didier Galmiche; Dominique Larchey-Wendling; Joseph Vidal-Rosset. , 2012, 9782841746033
- typdoc
- Books
- Accès au bibtex
-
- titre
- Special issue of Philosophia Scientiae – Alan Turing
- auteur
- Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
- article
- 16 (3), 2012
- typdoc
- Books
- Accès au bibtex
-
2011
Journal articles
- titre
- Sequent Calculi and Decidability for Intuitionistic Hybrid Logic
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- Information and Computation, 2011, 209 (12), pp.1447-1463. ⟨10.1016/j.ic.2011.10.002⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.ic.2011.10.002
- Accès au bibtex
-
Conference papers
- titre
- A Connection-based Characterization of Bi-intuitionistic Validity
- auteur
- Didier Galmiche, Daniel Mery
- article
- 23rd International Conference on Automated Deduction, CADE-23, Jul 2011, Wroclaw, Poland. pp.253-267
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Characterization of bi-intuitionistic validity through resource games
- auteur
- Didier Galmiche, Daniel Mery
- article
- International Workshop on Games for Logic and Programming Languages VI, GaLoP VI, Mar 2011, Saarbrucken, Germany. pp.10
- typdoc
- Conference papers
- Accès au bibtex
-
2010
Journal articles
- titre
- Label-free Natural Deduction Systems for Intuitionistic and Classical Modal Logics
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- Journal of Applied Non-Classical Logics, 2010, 20 (4), pp.373-421. ⟨10.3166/jancl.20.373-421⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.3166/jancl.20.373-421
- Accès au bibtex
-
- titre
- A Family of Gödel Hybrid Logics
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- Journal of Applied Logic, 2010, 8 (4), pp.371-385. ⟨10.1016/j.jal.2010.08.008⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.jal.2010.08.008
- Accès au bibtex
-
- titre
- Tableaux and Resource Graphs for Separation Logic
- auteur
- Didier Galmiche, Daniel Mery
- article
- Journal of Logic and Computation, 2010, 20 (1), pp.189-231. ⟨10.1093/logcom/exn066⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/logcom/exn066
- Accès au bibtex
-
Conference papers
- titre
- The Undecidability of Boolean BI through Phase Semantics
- auteur
- Dominique Larchey-Wendling, Didier Galmiche
- article
- 25th Annual IEEE Symposium on Logic in Computer Science – LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.140-149, ⟨10.1109/LICS.2010.18⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/LICS.2010.18
- Accès au texte intégral et bibtex
-
- titre
- Label-free Proof Systems for Intuitionistic Modal Logic IS5
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- 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⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-642-17511-4_15
- Accès au bibtex
-
Book sections
- titre
- Some Remarks on Relations between Proofs and Games
- auteur
- Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
- article
- Pierre Edouard Bour, Manuel Rebuschi, Laurent Rollet,. Construction – Festschrift for Gerhard Heinzmann, College Publications, 2010, 978-1-84890-016-5
- typdoc
- Book sections
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding
- auteur
- Dominique Larchey-Wendling, Didier Galmiche
- article
- Mathematical Structures in Computer Science, 2009, 19 (3), pp.435–500. ⟨10.1017/S0960129509007567⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1017/S0960129509007567
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Labelled Calculi for Lukasiewicz Logics
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- 15th International Workshop on Logic, Language, Information and Computation – WoLLIC ’08, Jul 2008, Edinburgh, United Kingdom. pp.194–207
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Calculi for an Intuitionistic Hybrid Modal Logic
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- International Workshop on Intuitionistic Modal Logic and Applications – IMLA’08, Jun 2008, CMU, Pittsburg, United States. pp.15
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Resource Trees: Models and Separation Logic
- auteur
- Didier Galmiche
- article
- Int Workshop on Logics for Agents and Mobility, LAM’08, 2008, Hamburg, Germany
- typdoc
- Conference papers
- Accès au bibtex
-
2007
Journal articles
- titre
- Models and Separation Logics for Resource Trees
- auteur
- Nicolas Biri, Didier Galmiche
- article
- Journal of Logic and Computation, 2007, 17 (4), pp.687-726. ⟨10.1093/logcom/exm019⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1093/logcom/exm019
- Accès au bibtex
-
Conference papers
- titre
- Provability and Countermodels in Gödel-Dummett Logics
- auteur
- Didier Galmiche, Dominique Larchey-Wendling, Yakoub Salhi
- article
- International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability – DISPROVING’07, Jul 2007, Bremen, Germany. pp.35-52
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Connection-based proof search in intuitionistic logic from transitive closure of constraints
- auteur
- Didier Galmiche, Daniel Mery
- article
- International Workshop on Automated Deduction: Decidability, Complexity, Tractability – ADDCT’07, Jul 2007, Bremen, Germany. pp.15
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Provability and Countermodels in Go?del-Dummett Logics
- auteur
- Didier Galmiche, Yakoub Salhi
- article
- International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability – DISPROVING’07, 2007, Bremen, Germany
- typdoc
- Conference papers
- Accès au bibtex
-
2006
Conference papers
- titre
- Expressivity properties of Boolean BI through Relational Models
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- 26th Conference on Foundations of Software Technology and Theoretical Computer Science – FSTTCS 2006, Dec 2006, Kolkota, India. pp.357-368, ⟨10.1007/11944836_33⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/11944836_33
- Accès au bibtex
-
- titre
- BI Logic, Resource Models and Proofs
- auteur
- Didier Galmiche
- article
- Geometry of Computation -GEOCAL’06 Workshop on Interaction and Space, Logics and Concurrency, Feb 2006, Marseille, France
- typdoc
- Conference papers
- Accès au bibtex
-
2005
Journal articles
- titre
- The semantics of BI and resource tableaux
- auteur
- Didier Galmiche, Daniel Méry, David Pym
- article
- Mathematical Structures in Computer Science, 2005, 15, pp.1033-1088
- typdoc
- Journal articles
- Accès au bibtex
-
- titre
- Resource Graphs and Countermodels in Resource Logics
- auteur
- Didier Galmiche, Daniel Mery
- article
- Electronic Notes in Theoretical Computer Science, 2005, 125, pp.117-135
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- Resource Trees and XML Data Transformations – abstract
- auteur
- Didier Galmiche, Nicolas Biri
- article
- 3rd Applied Semantics Workshop, APPSEM 05, 2005, Frauenchiemsee, Germany
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Labelled Structures and Provability in Resource Logics – extended abstract
- auteur
- Didier Galmiche, Estelle Dumoulin
- article
- Int. Workshop on Structures and Deduction – the Quest of the Essence of Proofs, SD’05, 2005, Lisbon, Portugal
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Characterizing Provability in BI’s Pointer Logic through Resource Graphs
- auteur
- Didier Galmiche, Daniel Mery
- article
- Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, 2005, Montego Bay, Jamaica. pp.459 – 473
- typdoc
- Conference papers
- Accès au bibtex
-
2004
Conference papers
- titre
- Proofs and countermodels in BI’s pointer logic
- auteur
- Didier Galmiche, Julien Gobillot, Daniel Méry
- article
- 2nd APPSEM II Workshop – APPSEM’04, 2004, Tallinn/Estonia
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Resource Tree and Logics for Distribution – abstract
- auteur
- Nicolas Biri, Didier Galmiche
- article
- 2nd APPSEM II Workshop – APPSEM’04, Institute of Cybernetics, 2004, Tallinn/Estonia
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Resource Graphs and Countermodels in Resource Logics
- auteur
- Didier Galmiche, Daniel Méry
- article
- IJCAR 2004 Workshop W1 on Disproving – Non-Theorems, Non-validity, Non-Provability, 2004, Cork/Ireland
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Logics for Resources, Processes and Programs
- auteur
- Didier Galmiche, Peter O’Hearn, David Pym
- article
- ICALP – LICS 2004 Workshop, 2004, Turku, Finland, 192 p
- typdoc
- Conference papers
- Accès au bibtex
-
2003
Journal articles
- titre
- Semantic Labelled Tableaux for propositional BI (without bottom)
- auteur
- Didier Galmiche, Daniel Méry
- article
- Journal of Logic and Computation, 2003, 13 (5), pp.707-753
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- Connection-based proof construction in Non-Commutative Logic
- auteur
- Didier Galmiche, Jean-Marc Notin
- article
- 10th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2003 – LPAR’03, 2003, Almaty/Kazakhstan, pp.422 – 436, ⟨10.1007/b13986⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/b13986
- Accès au bibtex
-
- titre
- A Separation Logic for Resource Distribution
- auteur
- Nicolas Biri, Didier Galmiche
- article
- 23rd Conference on Foundations of Software Technology and Theoretical Computer Science 2003 – FST TCS’03, 2003, Mumbai/India, pp.23-37, ⟨10.1007/b94618⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/b94618
- Accès au bibtex
-
- titre
- Resource Models and Proofs in Bunched Implications Logic
- auteur
- Didier Galmiche
- article
- First APPSEM-II Workshop 2003 – (Applied Semantics II), 2003, Nottingham/UK
- typdoc
- Conference papers
- Accès au bibtex
-
2002
Conference papers
- titre
- Connection-based proof search in propositional BI logic
- auteur
- Didier Galmiche, Daniel Méry
- article
- 18th International Conference on Automated Deduction – CADE-18, 2002, Copenhagen/Denmark, pp.111-128
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- LINK: a Proof Environment based on Proof nets
- auteur
- Luc Habert, Jean-Marc Notin, Didier Galmiche
- article
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods – TABLEAUX’02, 2002, Copenhagen, Denmark, pp.330-334
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Resources, Labels and Proofs
- auteur
- Didier Galmiche
- article
- Theory and Application of Abstract State Machines 2002, A. Blass and E. Börger and Y. Gurevich, 2002, Schloss Dagstuhl, Wadern/Germany
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- A Modal Linear Logic for Distribution and Mobility – extended abstract
- auteur
- Nicolas Biri, Didier Galmiche
- article
- Workshop on Linear Logic – FLOC’02, 2002, Copenhagen, Danemark, 6 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Resource Tableaux (extended abstract)
- auteur
- Didier Galmiche, Daniel Méry, David Pym
- article
- 16th International Workshop on Computer Science Logic – CSL’ 2002, 2002, Edinburgh, Scotland, UK, pp.183-199
- typdoc
- Conference papers
- Accès au bibtex
-
2001
Journal articles
- titre
- Proof-search and Proof nets in Mixed Linear Logic
- auteur
- Didier Galmiche, Jean-Marie Notin
- article
- Electronic Notes in Theoretical Computer Science, 2001, 37, pp.1-33
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed Logics
- auteur
- Didier Galmiche
- article
- Semantic Foundations of Proof-search, 2001, Schloss Dagsthul/Germany
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Calculi with dependency relations for Mixed Linear Logic
- auteur
- Didier Galmiche, Jean-Marc Notin
- article
- International Workshop on Logic and Complexity in Computer Science – LCCS’2001, 2001, Creteil/France, pp.81-102
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Proof-search and countermodel generation in propositional BI Logic – extended abstract
- auteur
- Didier Galmiche, Daniel Méry
- article
- 4th International Symposium on Theoretical Aspects of Computer Software – TACS 2001, 2001, Sendai, Japan, pp.263-282
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- STRIP: Structural Sharing for Efficient Proof-search
- auteur
- Dominique Larchey-Wendling, Daniel Mery, Didier Galmiche
- article
- 2001, Siena, Italy, pp.696 – 700
- typdoc
- Conference papers
- Accès au bibtex
-
2000
Journal articles
- titre
- Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- Electronic Notes in Theoretical Computer Science, 2000, 35, 15 p
- typdoc
- Journal articles
- Accès au bibtex
-
- titre
- Connection Methods in Linear Logic and Proof nets Construction
- auteur
- Didier Galmiche
- article
- Theoretical Computer Science, 2000, 232 (1-2), pp.231-272. ⟨10.1016/S0304-3975(99)00176-0⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/S0304-3975(99)00176-0
- Accès au bibtex
-
- titre
- Proof-search in Type-theoretic Languages: An Introduction
- auteur
- Didier Galmiche, David Pym
- article
- Theoretical Computer Science, 2000, 232 (1-2), pp.5-53. ⟨10.1016/S0304-3975(99)00169-3⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/S0304-3975(99)00169-3
- Accès au bibtex
-
Conference papers
- titre
- Workshop on Type-theoretic Languages: Proof-search and Semantics
- auteur
- Didier Galmiche
- article
- 17th Conference on Automated DEduction – CADE-17, D. Galmiche, 2000, CMU, Pittsburgh/USA, 90 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Proof-search in mixed linear logic – extended abstract.
- auteur
- Didier Galmiche, Jean-Marc Notin
- article
- CADE-17 Workshop on Proof-theoretic Languages: Proof-search & Semantics, 2000, CMU, Pittsburgh/USA, 14 p
- typdoc
- Conference papers
- Accès au bibtex
-
Book sections
- titre
- Labelled Proof Systems for Intuitionistic Provability
- auteur
- Didier Galmiche, Vincent Balat
- article
- 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
- typdoc
- Book sections
- Accès au bibtex
-
Books
- titre
- Theoretical Computer Science – Special issue on Proof search in Type-theoretic Languages
- auteur
- Didier Galmiche, David Pym
- article
- Didier Galmiche David Pym. Elsevier, vol. 232, n° 1-2 (vol. 232, n° 1-2), 333 p, 2000, Theoretical Computer Science
- typdoc
- Books
- Accès au bibtex
-
Reports
- titre
- Resource models and proof-search in Intuitionistic Linear Logic
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- [Intern report] A00-R-341 || galmiche00g, 2000, 39 p
- typdoc
- Reports
- Accès au bibtex
-
- titre
- STRIP: Structural sharing and intuitionistic proof-search
- auteur
- Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
- article
- [Intern report] A00-R-342 || galmiche00h, 2000, 5 p
- typdoc
- Reports
- Accès au bibtex
-
1999
Journal articles
- titre
- A Specification Logic for Concurrent Object-oriented Programming
- auteur
- Didier Galmiche, Giorgio Delzanno, Maurizio Martelli
- article
- Mathematical Structures in Computer Science, 1999, 9 (3), pp.253-286
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- Asian Computing Science Conference – ASIAN’99, 1999, Phuket, Thailand, pp.101-112
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Some Issues about Proof Search in Linear Logic – abstract
- auteur
- Didier Galmiche
- article
- Logic & Computation – LC’99, Workshop on Proofs, 1999, Edinburgh, Scotland, 36 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Proof Plans and Proof Nets in Linear Logic -Abstract
- auteur
- Didier Galmiche
- article
- Floc’99 Workshop on Strategies in Automated Deduction, 1999, Trento, Italy, 2 p
- typdoc
- Conference papers
- Accès au bibtex
-
Books
- titre
- Special Issue on Proof Theory of Concurrent Object-Oriented Programming
- auteur
- Didier Galmiche, Jean-Paul Bahsoun, José Luiz Fiadeiro
- article
- Cambridge University Press, 1999, Mathematical Structures in Computer Science
- typdoc
- Books
- Accès au bibtex
-
Reports
- titre
- From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- [Intern report] 99-R-116 || galmiche99k, 1999, 30 p
- typdoc
- Reports
- Accès au bibtex
-
1998
Journal articles
- titre
- Connection proof search methods in Linear Logic and proof nets construction
- auteur
- Didier Galmiche
- article
- Theoretical Computer Science, 1998, 30 p. ⟨10.1016/S0304-3975(99)00176-0⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/S0304-3975(99)00176-0
- Accès au bibtex
-
- titre
- Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets – extended abstract
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- Electronic Notes in Theoretical Computer Science, 1998, 17, pp.1-18
- typdoc
- Journal articles
- Accès au bibtex
-
- titre
- Proof nets Construction and Automated Deduction in Non-commutative Linear Logic – extended abstract
- auteur
- Didier Galmiche, Bruno Martin
- article
- Electronic Notes in Theoretical Computer Science, 1998, 17, pp.1-20
- typdoc
- Journal articles
- Accès au bibtex
-
Conference papers
- titre
- Formulae-as-Resources Management for an Intuitionistic Theorem Prover
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- 5th Workshop on Logic, Language, Information and Computation – WoLLIC’98, 1998, Sao Paulo, Brazil, 6 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Proof Systems for Intuitionistic Provability in Linear Logic
- auteur
- Didier Galmiche, Vincent Balat
- article
- First International Workshop on Labelled Deduction – Ld’98, 1998, Freiburg/Germany
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Proof construction in linear logic and programming
- auteur
- Didier Galmiche
- article
- COST 15 LIEGE Seminar on Non Classical Logics for Computer Science Applications, invited lecture, 1998, Liege/Belgium, 1 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic
- auteur
- Didier Galmiche, Dominique Larchey-Wendling
- article
- Workshop on Domains IV, 1998, Rolandseck, Germany
- typdoc
- Conference papers
- Accès au bibtex
-
Books
- titre
- Special Issue of Theoretical Computer Science (TCS) Proof-search in Type-theoretic Languages
- auteur
- Didier Galmiche, David Pym
- article
- Elsevier, 350 p, 1998
- typdoc
- Books
- Accès au bibtex
-
Reports
- titre
- A Specification Logic for Concurrent Object-Oriented Programming
- auteur
- Didier Galmiche, Giorgio Delzanno, Maurizio Martelli
- article
- [Intern report] 98-R-127 || galmiche98d, 1998, 27 p
- typdoc
- Reports
- Accès au bibtex
-
1994
Journal articles
- titre
- On Proof Normalization in Linear Logic
- auteur
- Didier Galmiche, Guy Perrier
- article
- Theoretical Computer Science, 1994, 135 (1), pp.67-110. ⟨10.1016/0304-3975(94)00105-7⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/0304-3975(94)00105-7
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Foundations of Proof Search Strategies Design in Linear Logic
- auteur
- Didier Galmiche, Guy Perrier
- article
- Logical Foundations of Computer Science, 1994, St-Petersburg, Russia. pp.101-113
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
1992
Conference papers
- titre
- A procedure for automatic proof nets construction
- auteur
- Didier Galmiche, Guy Perrier
- article
- Conference on Logic Programming and Automated Reasoning, LPAR’92, 1992, St-Petersburg, Russia. pp.42-53
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
