Dominique Larchey-Wendling
Orcid: 0000-0001-9860-7203Affiliations:
- University of Lorraine, France
According to our database1,
Dominique Larchey-Wendling
authored at least 30 papers
between 1998 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
1
2
1
1
1
1
1
1
1
1
1
3
1
1
1
2
1
1
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
CoRR, 2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
2022
Log. Methods Comput. Sci., 2022
2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
2014
Proceedings of the Theoretical Computer Science, 2014
2013
ACM Trans. Comput. Log., 2013
2010
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics.
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
2009
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding.
Math. Struct. Comput. Sci., 2009
2007
2006
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
2005
Proceedings of the Logic for Programming, 2005
2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
2002
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic.
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
2000
PhD thesis, 2000
1999
Proceedings of the Advances in Computing Science, 1999
1998
Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998
Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic.
Proceedings of the Workshop on Domains IV 1998, 1998