G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota:
"System Description: GAPT 2.0";
Lecture Notes in Computer Science, 9706 (2016), S. 293 - 301.

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.