<div class="csl-bib-body">
<div class="csl-entry">Ciabattoni, A., Galatos, N., & Terui, K. (2017). Algebraic proof theory: Hypersequents and hypercompletions. <i>Annals of Pure and Applied Logic</i>, <i>168</i>(3), 693–737. https://doi.org/10.1016/j.apal.2016.10.012</div>
</div>
-
dc.identifier.issn
0168-0072
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/146313
-
dc.language.iso
en
-
dc.publisher
ELSEVIER
-
dc.relation.ispartof
Annals of Pure and Applied Logic
-
dc.subject
Logic
-
dc.title
Algebraic proof theory: Hypersequents and hypercompletions