We stand with Ukraine  

Daniel Méry

Affiliations:
  • Université de Lorraine, France


According to our database1, Daniel Méry authored at least 18 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
[BibTeX]
[DOI]
Tim S. Lyon
,
Agata Ciabattoni
,
Didier Galmiche
,
Dominique Larchey-Wendling
,
Daniel Méry
,
Nicola Olivetti
,
Revantha Ramanayake
CoRR, 2023

Labelled Tableaux for Linear Time Bunched Implication Logic.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021
Labelled cyclic proofs for separation logic.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
J. Log. Comput., 2021

Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.
[BibTeX]
[DOI]
Didier Galmiche
,
Marta Gawek
,
Daniel Méry
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2019
Relating Labelled and Label-Free Bunched Calculi in BI Logic.
[BibTeX]
[DOI]
Didier Galmiche
,
Michel Marti
,
Daniel Méry
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018
Labelled Connection-based Proof Search for Multiplicative Intuitionistic.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017
Separation Logic with One Quantified Variable.
[BibTeX]
[DOI]
Stéphane Demri
,
Didier Galmiche
,
Dominique Larchey-Wendling
,
Daniel Méry
Theory Comput. Syst., 2017

2013
A Connection-based Characterization of Bi-intuitionistic Validity.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
J. Autom. Reason., 2013

2010
Tableaux and Resource Graphs for Separation Logic.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
J. Log. Comput., 2010

2005
The semantics of BI and resource tableaux.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
,
David J. Pym
Math. Struct. Comput. Sci., 2005

Characterizing Provability in .
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
Proceedings of the Logic for Programming, 2005

2004
Preuves et sémantiques dans des logiques de ressources.
[BibTeX]
[DOI]
Daniel Méry
PhD thesis, 2004

Resource Graphs and Countermodels in Resource Logics.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
Proceedings of the Selected Papers from the Workshops on Disproving, 2004

2003
Semantic Labelled Tableaux for Propositional BI.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
J. Log. Comput., 2003

2002
Resource Tableaux.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
,
David J. Pym
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

Connection-Based Proof Search in Propositional BI Logic.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
Proceedings of the Automated Deduction, 2002

2001
Proof-Search and Countermodel Generation in Propositional BI Logic.
[BibTeX]
[DOI]
Didier Galmiche
,
Daniel Méry
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

STRIP: Structural Sharing for Efficient Proof-Search.
[BibTeX]
[DOI]
Dominique Larchey-Wendling
,
Daniel Méry
,
Didier Galmiche
Proceedings of the Automated Reasoning, First International Joint Conference, 2001


  Loading...