Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"CERES in intuitionistic logic completeness";
Talk: Magica 16,
Mailand (invited);
2016-09-26
- 2016-09-27.
Created from the Publication Database of the Vienna University of Technology.