[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Kovacs:
"First-Order Interpolation";
Talk: PhD Research Seminar in Logic and Computation, Faculty of Informatics, West University of Timisoara, Timisoara, Romania (invited); 2019-11-29.


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