Daniel Méry

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 7

Top Topics

Sequent Calculus

Universally Quantified

Classical Logic

Top Venues

Theory Comput. Syst.

Publications

Didier Galmiche, Daniel Méry
Labelled Tableaux for Linear Time Bunched Implication Logic. FSCD (2023)
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR (2023)
Didier Galmiche, Daniel Méry
Labelled cyclic proofs for separation logic. J. Log. Comput. 31 (3) (2021)
Didier Galmiche, Marta Gawek, Daniel Méry
Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. FSCD (2021)
Didier Galmiche, Michel Marti, Daniel Méry
Relating Labelled and Label-Free Bunched Calculi in BI Logic. TABLEAUX (2019)
Didier Galmiche, Daniel Méry
Labelled Connection-based Proof Search for Multiplicative Intuitionistic. ARQNL@IJCAR (2018)
Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
Separation Logic with One Quantified Variable. Theory Comput. Syst. 61 (2) (2017)
Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
Separation Logic with One Quantified Variable. CSR (2014)
Didier Galmiche, Daniel Méry
A Connection-based Characterization of Bi-intuitionistic Validity. J. Autom. Reason. 51 (1) (2013)
Didier Galmiche, Daniel Méry
A Connection-Based Characterization of Bi-intuitionistic Validity. CADE (2011)
Didier Galmiche, Daniel Méry
Tableaux and Resource Graphs for Separation Logic. J. Log. Comput. 20 (1) (2010)
Didier Galmiche, Daniel Méry
Resource Graphs and Countermodels in Resource Logics. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)
Didier Galmiche, Daniel Méry
Characterizing Provability in . LPAR (2005)
Didier Galmiche, Daniel Méry, David J. Pym
The semantics of BI and resource tableaux. Math. Struct. Comput. Sci. 15 (6) (2005)
Didier Galmiche, Daniel Méry
Semantic Labelled Tableaux for Propositional BI. J. Log. Comput. 13 (5) (2003)
Didier Galmiche, Daniel Méry
Connection-Based Proof Search in Propositional BI Logic. CADE (2002)
Didier Galmiche, Daniel Méry, David J. Pym
Resource Tableaux. CSL (2002)
Didier Galmiche, Daniel Méry
Proof-Search and Countermodel Generation in Propositional BI Logic. TACS (2001)