[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Kovacs:
"First Order Interpolation";
Keynote Lecture: SAT/SMT/AR Summer School 2019, Lisbon, Portugal (invited); 2019-07-03 - 2019-07-06.


Created from the Publication Database of the Vienna University of Technology.