[Back]


Publications in Scientific Journals:

S. Hetzl, L. Strassburger:
"Herbrand-Confluence";
Logical Methods in Computer Science, 9 (2013), 4; 1 - 25.


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