Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota, G. Ebner:
"System Description: GAPT 2.0";
Vortrag: International Joint Conference on Automated Reasoning,
Coimbra, Portugal;
27.06.2016
- 02.07.2016.
Kurzfassung englisch:
GAPT (General Architecture for Proof Theory) is a proof theory framework containing data structures, algorithms, parsers and other components common in proof theory and automated deduction.
In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs. In this paper, we describe the current 2.0 release of GAPT.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.