[Zurück]


Zeitschriftenartikel:
A. Ciabattoni, N. Galatos et al.:
"Algebraic proof theory: Hypersequents and hypercompletions";
Annals of Pure and Applied Logic, 168 (2017), 3; S. 693 - 737.

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.apal.2016.10.012
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_255916.pdf

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.