<div class="csl-bib-body">
<div class="csl-entry">Ebner, G., Hetzl, S., Reis, G., Riener, M., Wolfsteiner, S. P., & Zivota, S. (2016). System Description: GAPT 2.0. In <i>Automated Reasoning</i> (pp. 293–301). Springer. https://doi.org/10.1007/978-3-319-40229-1_20</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/149881
-
dc.description.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
dc.description.sponsorship
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Proof theory
-
dc.title
System Description: GAPT 2.0
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Automated Reasoning
-
dc.relation.isbn
978-3-319-40229-1
-
dc.relation.doi
10.1007/978-3-319-40229-1
-
dc.relation.issn
0302-9743
-
dc.description.startpage
293
-
dc.description.endpage
301
-
dc.relation.grantno
P25160-N25
-
dc.relation.grantno
VRG2012-
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Automated Reasoning
-
tuw.container.volume
9706
-
tuw.journal.peerreviewed
false
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.project.title
Algorithmen, Strukturierung und Kompression von Beweisen
-
tuw.project.title
Struktur und Ausdrucksstärke: Die mathematischen Grundlagen des induktiven Schließens
-
tuw.researchTopic.id
X1
-
tuw.researchTopic.name
außerhalb der gesamtuniversitären Forschungsschwerpunkte
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-05 - Forschungsbereich Kombinatorik und Algorithmen
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-319-40229-1_20
-
dc.description.numberOfPages
9
-
tuw.event.name
8th International Joint Conference on Joint Reasoning, IJCAR 2016
-
wb.sci
false
-
tuw.event.startdate
27-06-2016
-
tuw.event.enddate
02-08-2016
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
AT
-
tuw.event.presenter
Ebner, Gabriel
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.facultyfocus
Diskrete Mathematik und Geometrie
de
wb.facultyfocus
Discrete Mathematics and Geometry
en
wb.facultyfocus.faculty
E100
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E185 - Institut für Computersprachen
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.orcid
0000-0002-6461-5982
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
