Record link: 
http://hdl.handle.net/20.500.12708/149881
-
Title: 
System Description: GAPT 2.0
en
Citation: 
Ebner, G., Hetzl, S., Reis, G., Riener, M., Wolfsteiner, S. P., & Zivota, S. (2016). System Description: GAPT 2.0. In Automated Reasoning (pp. 293–301). Springer. https://doi.org/10.1007/978-3-319-40229-1_20
-
Publisher DOI: 
10.1007/978-3-319-40229-1_20
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Ebner, Gabriel 
Hetzl, Stefan 
Reis, Giselle 
Riener, Martin 
Wolfsteiner, Simon Peter 
Zivota, Sebastian 
-
Organisational Unit: 
E104-05 - Forschungsbereich Kombinatorik und Algorithmen 
E104-02 - Forschungsbereich Computational Logic 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
Automated Reasoning 
-
ISBN: 
978-3-319-40229-1
-
Volume: 
9706
-
DOI of the book: 
10.1007/978-3-319-40229-1
-
Date (published): 
12-Jun-2016
-
Event name: 
8th International Joint Conference on Joint Reasoning, IJCAR 2016 
-
Event date: 
27-Jun-2016 - 2-Aug-2016
-
Event place: 
Austria
-
Number of Pages: 
9
-
Publisher: 
Springer
-
Peer reviewed: 
Yes
-
Keywords: 
Proof theory
-
Abstract: 
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.
en
Project title: 
Algorithmen, Strukturierung und Kompression von Beweisen: P25160-N25 (FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) 
Struktur und Ausdrucksstärke: Die mathematischen Grundlagen des induktiven Schließens: VRG2012- (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
außerhalb der gesamtuniversitären Forschungsschwerpunkte: 100%
-
Science Branch: 
Mathematik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

108
checked on Nov 23, 2023

Google ScholarTM

Check