Daniel Méry

	2005
6		Didier Galmiche, Daniel Méry: Characterizing Provability in . LPAR 2005: 459-473
5		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		Didier Galmiche, Daniel Méry: Semantic Labelled Tableaux for Propositional BI. J. Log. Comput. 13(5): 707-753 (2003)
	2002
3		Didier Galmiche, Daniel Méry: Connection-Based Proof Search in Propositional BI Logic. CADE 2002: 111-128
2		Didier Galmiche, Daniel Méry, David J. Pym: Resource Tableaux. CSL 2002: 183-199
	2001
1		Didier Galmiche, Daniel Méry: Proof-Search and Countermodel Generation in Propositional BI Logic. TACS 2001: 263-282

Coauthor Index

1	Didier Galmiche	[1] [2] [3] [4] [5] [6]
2	David J. Pym	[2] [5]