[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"Clause Evaluation over Herbrand Interpretations";
Talk: Seminar on Deduction and Infinite-state Model Checking, Dagstuhl, Germany (invited); 2003-04-21 - 2003-04-25.

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