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/143488
-
Title:
Expansion trees with cut
en
Citation:
Aschieri, F., Hetzl, S., & Weller, D. (2019). Expansion trees with cut.
Mathematical Structures in Computer Science
,
29
(8), 1009–1029. https://doi.org/10.1017/s0960129519000069
-
Publisher DOI:
10.1017/s0960129519000069
-
Publication Type:
Artikel - Original Research Article
de
Article - Original Research Article
en
Language:
English
-
Authors:
Aschieri, Federico
Hetzl, Stefan
Weller, Daniel
-
Organisational Unit:
E192-05 - Forschungsbereich Theory and Logic
E104-02 - Forschungsbereich Computational Logic
-
Journal:
Mathematical Structures in Computer Science
-
ISSN:
0960-1295
-
Date (published):
8-Oct-2019
-
Number of Pages:
21
-
Publisher:
CAMBRIDGE UNIV PRESS
-
Peer reviewed:
Yes
-
Keywords:
Computer Science Applications; Mathematics (miscellaneous)
-
Research Areas:
Computer Science Foundations: 100%
-
Science Branch:
Informatik
-
Appears in Collections:
Article
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
11
checked on Mar 2, 2023
Google Scholar
TM
Check