BibSonomy :: author  ::

bookmarks

publications

(60)

• Labelled Calculi for Lukasiewicz Logics.
  Didier Galmiche and Y. Salhi WoLLIC 194-207 (2008)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• The semantics of BI and resource tableaux.
  Didier Galmiche and Daniel Méry and Daniel J and Pym Mathematical Structures in Computer Science 15 1033-1088 (2005)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX  
• Models and Separation Logics for Resource Trees.
  Nicolas Biri and Didier Galmiche J. Log. Comput. 17 687-726 (2007)
  to dblp by dblp on 2008-01-14 00:00:00
  | URL | BibTeX  
• Expressivity Properties of Boolean.
  Didier Galmiche and Dominique Larchey-Wendling FSTTCS 357-368 (2006)
  to dblp by dblp on 2006-12-04 00:00:00
  | URL | BibTeX  
• Characterizing Provability in .
  Didier Galmiche and Daniel Méry LPAR 459-473 (2005)
  to dblp by dblp on 2005-12-05 00:00:00
  | URL | BibTeX  
• Semantic Labelled Tableaux for Propositional BI.
  Didier Galmiche and Daniel Méry J. Log. Comput. 13 707-753 (2003)
  to dblp by dblp on 2005-07-06 00:00:00
  | URL | BibTeX  
• Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets.
  Dominique Larchey-Wendling and Didier Galmiche Electr. Notes Theor. Comput. Sci. 17 (1998)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX  
• Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic.
  Dominique Larchey-Wendling and Didier Galmiche Electr. Notes Theor. Comput. Sci. 35 (2000)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX  
• Proof-search and proof nets in Mixed Linear Logic.
  Didier Galmiche and J.-M. Notin Electr. Notes Theor. Comput. Sci. 37 (2000)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX  
• Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic.
  Didier Galmiche and Bruno Martin Electr. Notes Theor. Comput. Sci. 17 (1998)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX