| |
| 2005 | ||
|---|---|---|
| 6 | EE | Didier Galmiche, Daniel Méry: Characterizing Provability in . LPAR 2005: 459-473 |
| 5 | EE | Didier Galmiche, Daniel Méry, David J. Pym: The semantics of BI and resource tableaux. Mathematical Structures in Computer Science 15(6): 1033-1088 (2005) |
| 2003 | ||
| 4 | EE | Didier Galmiche, Daniel Méry: Semantic Labelled Tableaux for Propositional BI. J. Log. Comput. 13(5): 707-753 (2003) |
| 2002 | ||
| 3 | EE | Didier Galmiche, Daniel Méry: Connection-Based Proof Search in Propositional BI Logic. CADE 2002: 111-128 |
| 2 | EE | Didier Galmiche, Daniel Méry, David J. Pym: Resource Tableaux. CSL 2002: 183-199 |
| 2001 | ||
| 1 | EE | Didier Galmiche, Daniel Méry: Proof-Search and Countermodel Generation in Propositional BI Logic. TACS 2001: 263-282 |
| 1 | Didier Galmiche | [1] [2] [3] [4] [5] [6] |
| 2 | David J. Pym | [2] [5] |