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