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
Record link:
http://hdl.handle.net/20.500.12708/155384
-
Title:
Expansion trees with cut
-
Citation:
Hetzl, S., & Weller, D. (2013).
Expansion trees with cut
(p. 25). arXiv. https://doi.org/10.48550/arXiv.1308.0428
-
Publisher DOI:
10.48550/arXiv.1308.0428
-
Publication Type:
Preprint
en
Authors:
Hetzl, Stefan
Weller, Daniel
-
Organisational Unit:
E104-02 - Forschungsbereich Computational Logic
-
ArXiv ID:
1308.0428
-
Date (published):
2013
-
Number of Pages:
25
-
Preprint Server:
arXiv
-
Science Branch:
Mathematik, Informatik
-
Appears in Collections:
Preprint
Show full item record
Page view(s)
38
checked on Dec 1, 2023
Google Scholar
TM
Check