Publications in Scientific Journals:

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

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.