Julie Cailler
Associate Professor
University of Lorraine, CNRS, Inria, LORIA, Nancy, France
HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT
Category
thesis
1
Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic
Dec 13, 2023
×
A new version of content is available.
Update
