[Back]


Contributions to Proceedings:
A. Leitsch, S. Hetzl, D. Weller, B. Woltzenlogel-Paleo:
"Herbrand Sequent Extraction";
in: "AISC/Calculemus/MKM 2008", S. Autexier et al. (ed.); Springer, Heidelberg, 2008, ISBN: 9783540851097, 462 - 477.

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