[Back]


Talks and Poster Presentations (without Proceedings-Entry):
B. Woltzenlogel-Paleo:
"Algorithms for Herbrand Sequent Extraction";
Talk: Deep Inference, its Algebra, Geometry and Syntax, Nancy, Frankreich; 2008-06-18.

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