Julie Cailler
Associate Professor
University of Lorraine, CNRS, Inria, LORIA, Nancy, France
HOME
RESEARCH
TEACHING
ACTIVITIES
TOOLS
MISCELLANEOUS
CONTACT
Category
workshops
1
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
Jul 2, 2024
×
A new version of content is available.
Update
