Daniel Méry
Affiliations:- Université de Lorraine, France
According to our database1,
Daniel Méry
authored at least 19 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), 2024
2023
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
CoRR, 2023
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023
2021
Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
2019
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
2018
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
2013
J. Autom. Reason., 2013
2010
2005
2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
2003
2002
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001