Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Aspocp 2019 @ Lpnmr 2019
View Statistics
Email Alert
RSS Feed
Book details
Book details
Buch-Details
Book title
Buchtitel
Aspocp 2019 @ Lpnmr 2019
Publications
Publikationen
Show/Hide filters
Author
1
Fichte, Johannes
1
Hecher, Markus
1
Philipp, Tobias
Date issued
1
2000 - 2024
Close filters
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Fichte, Johannes
; Hecher, Markus
; Philipp, Tobias
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Konferenzbeitrag
Inproceedings
2019