Volume: Vol-3717 PAAR+SC-Square 2024 | Year: 2024

Paper: « short2 | paper2 | paper3 »

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

• Simon Guilloud dblp
• Julie Cailler dblp

37-56 PDF