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/146313
-
Title:
Algebraic proof theory: Hypersequents and hypercompletions
en
Citation:
Ciabattoni, A., Galatos, N., & Terui, K. (2017). Algebraic proof theory: Hypersequents and hypercompletions.
Annals of Pure and Applied Logic
,
168
(3), 693–737. https://doi.org/10.1016/j.apal.2016.10.012
-
Publisher DOI:
10.1016/j.apal.2016.10.012
-
Publication Type:
Article - Original Research Article
en
Language:
English
-
Authors:
Ciabattoni, Agata
Galatos, Nikolaos
Terui, Kazushige
-
Organisational Unit:
E192-05 - Forschungsbereich Theory and Logic
-
Journal:
Annals of Pure and Applied Logic
-
ISSN:
0168-0072
-
Date (published):
2017
-
Number of Pages:
45
-
Publisher:
ELSEVIER
-
Peer reviewed:
Yes
-
Keywords:
Logic
-
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)
56
checked on Oct 25, 2023
Google Scholar
TM
Check