Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Didier Galmiche" ( http://dblp.L3S.de/Authors/Didier_Galmiche )

  Author page on DBLP  Author page in RDF  Community of Didier Galmiche in ASPL-2

Publication years (Num. hits)
1990-1999 (15) 2000-2005 (17) 2006-2011 (11)
Publication types (Num. hits)
article(22) inproceedings(20) proceedings(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(7) Theor. Comput. Sci.(5) LPAR(4) Mathematical Structures in Com...(4) CADE(3) J. Log. Comput.(3) FSTTCS(2) LFCS(2) TABLEAUX(2) ASIAN(1) CSL(1) IJCAR(1) Inf. Comput.(1) J. Applied Logic(1) Journal of Applied Non-Classic...(1) LICS(1) More (+10 of total 20)
Authors
Didier Galmiche(43) Daniel Méry(9) Dominique Larchey-Wendling(7) Yakoub Salhi(5) Guy Perrier(4) David J. Pym(3) J.-M. Notin(3) Nicolas Biri(2) Bruno Martin(1) Dominique Méry(1) Eric Boudinet(1) Giorgio Delzanno(1) Jean Paul Bahsoun(1) José Luiz Fiadeiro(1) L. Habert(1) Maurizio Martelli(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 43 publication records. Showing 43 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Didier Galmiche, Yakoub Salhi Sequent calculi and decidability for intuitionistic hybrid logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry A Connection-Based Characterization of Bi-intuitionistic Validity. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Yakoub Salhi Label-free natural deduction systems for intuitionistic and classical modal logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2010 DBLP  BibTeX  RDF
1Didier Galmiche, Daniel Méry Tableaux and Resource Graphs for Separation Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Yakoub Salhi A family of Gödel hybrid logics. Search on Bibsonomy J. Applied Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Yakoub Salhi Label-Free Proof Systems for Intuitionistic Modal Logic IS5. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dominique Larchey-Wendling, Didier Galmiche The Undecidability of Boolean BI through Phase Semantics. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bunched logic, phase semantics, decidability, linear logic
1Dominique Larchey-Wendling, Didier Galmiche Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Yakoub Salhi Labelled Calculi for Lukasiewicz Logics. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicolas Biri, Didier Galmiche Models and Separation Logics for Resource Trees. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Dominique Larchey-Wendling Expressivity Properties of Boolean. Search on Bibsonomy FSTTCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry, David J. Pym The semantics of BI and resource tableaux. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry Resource Graphs and Countermodels in Resource Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry Characterizing Provability in . Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry Semantic Labelled Tableaux for Propositional BI. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, J.-M. Notin Connection-Based Proof Construction in Non-commutative Logic. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nicolas Biri, Didier Galmiche A Separation Logic for Resource Distribution: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry Connection-Based Proof Search in Propositional BI Logic. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1L. Habert, J.-M. Notin, Didier Galmiche LINK: A Proof Environment Based on Proof Nets. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry, David J. Pym Resource Tableaux. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  BibTeX  RDF
1Dominique Larchey-Wendling, Dominique Méry, Didier Galmiche STRIP: Structural Sharing for Efficient Proof-Search. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry Proof-Search and Countermodel Generation in Propositional BI Logic. Search on Bibsonomy TACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Didier Galmiche Connection methods in linear logic and proof nets construction. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, David J. Pym Proof-search in type-theoretic languages: an introduction. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, J.-M. Notin Proof-search and proof nets in Mixed Linear Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Didier Galmiche Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dominique Larchey-Wendling, Didier Galmiche Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Didier Galmiche Workshop: Type-Theoretic Languages: Proof-Search and Semantics. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche Foreword. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1999 DBLP  BibTeX  RDF
1Giorgio Delzanno, Didier Galmiche, Maurizio Martelli A specification logic for concurrent object-oriented programming. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1999 DBLP  BibTeX  RDF
1Didier Galmiche, Dominique Larchey-Wendling Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Dominique Larchey-Wendling, Didier Galmiche Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Bruno Martin Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Didier Galmiche Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Didier Galmiche (eds.) Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  BibTeX  RDF
1Didier Galmiche, Eric Boudinet Proofs, Concurrent Objects, and Computations in a FILL Framework. Search on Bibsonomy OBPDC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Guy Perrier On Proof Normalization in Linear Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Guy Perrier Foundations of Proof Search Strategies Design in Linear Logic. Search on Bibsonomy LFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, O. Hermann SKIL: A System for Programming with Proofs. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Didier Galmiche Program Development in Constructive Type Theory. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Guy Perrier Automated Deduction in Additive and Multiplicative Linear Logic. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Guy Perrier A Procedure for Automatic Proof Nets Construction. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Didier Galmiche Constructive System for Automatic Program Synthesis. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.