[Back]


Publications in Scientific Journals:

F. Aschieri, S. Hetzl, D. Weller:
"Expansion trees with cut";
Mathematical Structures In Computer Science, 29 (2019), 8; 1009 - 1029.


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