Talks and Poster Presentations (with Proceedings-Entry):
"First-Order Interpolation and Grey Areas of Proofs";
Keynote Lecture: 26th EACSL Annual Conference on Computer Science Logic (CSL),
Stockholm, Sweden (invited);
- 2017-08-24; in: "Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL)",
V. Goranko, M. Dam (ed.);
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.