Talks and Poster Presentations (without Proceedings-Entry):
G. Reis:
"Towards CERES in intuitionistic logic";
Talk: Workshop on Skolemization,
Utrecht;
2013-05-27
- 2013-05-29.
Created from the Publication Database of the Vienna University of Technology.