Publis

Publications HAL de didier galmiche

2016

Journal articles

titre
Separation Logic with One Quantified Variable
auteur
Stephane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mery
article
Theory of Computing Systems, Springer Verlag, 2016
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01258821/file/ToCS_SI_CSR14_demri_galmiche_larchey_mery.pdf 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
https://hal.archives-ouvertes.fr/hal-01650178/file/balbiani_19190.pdf BibTex

2015

Journal articles

titre
A Modal Separation Logic for Resource Dynamics
auteur
Jean-René Courtault, Didier Galmiche
article
Journal of Logic and Computation, Oxford University Press (OUP), 2015, ⟨10.1093/logcom/exv031⟩
typdoc
Journal articles
DOI
DOI : 10.1093/logcom/exv031
Accès au bibtex
BibTex
titre
Tree-sequent calculi and decision procedures for intuitionistic modal logics
auteur
Didier Galmiche, Yakoub Salhi
article
Journal of Logic and Computation, Oxford University Press (OUP), 2015, ⟨10.1093/logcom/exv039⟩
typdoc
Journal articles
DOI
DOI : 10.1093/logcom/exv039
Accès au bibtex
BibTex

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
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), 2015
typdoc
Books
Accès au bibtex
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
https://hal.archives-ouvertes.fr/hal-01256804/file/978-3-662-44602-7_25_Chapter.pdf BibTex
titre
Separation Logic with One Quantified Variable
auteur
Stephane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mery
article
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 bibtex
BibTex
titre
A sequent calculus with labels for Public Announcement Logic
auteur
Philippe Balbiani, Vincent Demange, Didier Galmiche
article
Int. Conference on Advances in Modal Logic, AiML 2014, 2014, Groningen, Netherlands
typdoc
Conference papers
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation.
auteur
Didier Galmiche, Stéphane Graham-Lengrand
article
United Kingdom. Oxford University Press, 2014
typdoc
Directions of work or proceedings
Accès au bibtex
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), 2014
typdoc
Books
Accès au bibtex
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, Association for Computing Machinery, 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
https://hal.archives-ouvertes.fr/hal-01256956/file/dlwgal_submitted.pdf BibTex
titre
A Connection-based Characterization of Bi-intuitionistic Validity
auteur
Didier Galmiche, Daniel Mery
article
Journal of Automated Reasoning, Springer Verlag, 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
BibTex

Conference papers

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
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
BibTex
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
BibTex

Directions of work or proceedings

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 Nancy, France. 2013, Lecture Notes in Artificial Intelligence 8123
typdoc
Directions of work or proceedings
Accès au bibtex
BibTex

2012

Directions of work or proceedings

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. France. 2012, 9782841746033
typdoc
Directions of work or proceedings
Accès au bibtex
BibTex

Books

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
BibTex

2011

Journal articles

titre
Sequent Calculi and Decidability for Intuitionistic Hybrid Logic
auteur
Didier Galmiche, Yakoub Salhi
article
Information and Computation, Elsevier, 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
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
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
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, Editions Hermes, 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
BibTex
titre
A Family of Gödel Hybrid Logics
auteur
Didier Galmiche, Yakoub Salhi
article
Journal of Applied Logic, Elsevier, 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
BibTex
titre
Tableaux and Resource Graphs for Separation Logic
auteur
Didier Galmiche, Daniel Mery
article
Journal of Logic and Computation, Oxford University Press (OUP), 2010, 20 (1), pp.189-231. ⟨10.1093/logcom/exn066⟩
typdoc
Journal articles
DOI
DOI : 10.1093/logcom/exn066
Accès au bibtex
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
https://hal.archives-ouvertes.fr/hal-00577919/file/lics10_larchey_galmiche_full.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00580302/file/galmiche_larchey_vidalrosset.pdf 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, Cambridge University Press (CUP), 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
https://hal.archives-ouvertes.fr/hal-00577929/file/LarcheyGalmiche.pdf 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
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
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
BibTex

2007

Journal articles

titre
Models and Separation Logics for Resource Trees
auteur
Nicolas Biri, Didier Galmiche
article
Journal of Logic and Computation, Oxford University Press (OUP), 2007, 17 (4), pp.687-726. ⟨10.1093/logcom/exm019⟩
typdoc
Journal articles
DOI
DOI : 10.1093/logcom/exm019
Accès au bibtex
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
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
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
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
BibTex

2005

Journal articles

titre
Resource Graphs and Countermodels in Resource Logics
auteur
Didier Galmiche, Daniel Mery
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2005, 125, pp.117-135
typdoc
Journal articles
Accès au bibtex
BibTex
titre
The semantics of BI and resource tableaux
auteur
Didier Galmiche, Daniel Méry, David Pym
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, 15, pp.1033-1088
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

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
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
BibTex
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
BibTex

2004

Conference papers

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
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
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
BibTex
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
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, Oxford University Press (OUP), 2003, 13 (5), pp.707-753
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

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
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
BibTex
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
BibTex

2002

Conference papers

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
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
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
BibTex
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
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
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, Elsevier, 2001, 37, pp.1-33
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

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
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
BibTex
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
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
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, Elsevier, 2000, 35, 15 p
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Proof-search in Type-theoretic Languages: An Introduction
auteur
Didier Galmiche, David Pym
article
Theoretical Computer Science, Elsevier, 2000, 232 (1-2), pp.5-53
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Connection Methods in Linear Logic and Proof nets Construction
auteur
Didier Galmiche
article
Theoretical Computer Science, Elsevier, 2000, 232 (1-2), pp.231-272
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

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
BibTex
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
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
BibTex

Directions of work or proceedings

titre
Theoretical Computer Science – Special issue on Proof search in Type-theoretic Languages
auteur
Didier Galmiche, David Pym
article
Didier Galmiche David Pym. vol. 232, n° 1-2 (vol. 232, n° 1-2), Elsevier, 333 p, 2000, Theoretical Computer Science
typdoc
Directions of work or proceedings
Accès au bibtex
BibTex

Reports

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
BibTex
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
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, Cambridge University Press (CUP), 1999, 9 (3), pp.253-286
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

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
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
BibTex
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
BibTex

Directions of work or proceedings

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
Directions of work or proceedings
Accès au bibtex
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
BibTex

1998

Journal articles

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, Elsevier, 1998, 17, pp.1-20
typdoc
Journal articles
Accès au bibtex
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, Elsevier, 1998, 17, pp.1-18
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Connection proof search methods in Linear Logic and proof nets construction
auteur
Didier Galmiche
article
Theoretical Computer Science, Elsevier, 1998, 30 p
typdoc
Journal articles
Accès au bibtex
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
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
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
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
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
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
BibTex

1994

Journal articles

titre
On Proof Normalization in Linear Logic
auteur
Didier Galmiche, Guy Perrier
article
Theoretical Computer Science, Elsevier, 1994, 135 (1), pp.67-110
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01297755/file/tcs1994.pdf 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
https://hal.inria.fr/hal-01297758/file/lfcs1994.pdf 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
https://hal.inria.fr/hal-01297750/file/lpar1992.pdf BibTex