Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"A method of algorithmic cut-introduction";
Talk: Workshop on Skolemization,
Utrecht;
2013-05-27
- 2013-05-29.
Created from the Publication Database of the Vienna University of Technology.