Talks and Poster Presentations (with Proceedings-Entry):
L. Kovacs:
"First-Order Interpolation and Grey Areas of Proofs";
Keynote Lecture: 26th EACSL Annual Conference on Computer Science Logic (CSL),
Stockholm, Sweden (invited);
2017-08-20
- 2017-08-24; in: "Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL)",
V. Goranko, M. Dam (ed.);
LIPIcs,
82
(2017),
ISBN: 978-3-95977-045-3;
3:1.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.CSL.2017.3
Created from the Publication Database of the Vienna University of Technology.