[Back]


Talks and Poster Presentations (without Proceedings-Entry):

R. Kuznets:
"Syntax Meets Semantcs to Prove Interpolation";
Talk: Syntax Meets Semantics 2016, Barcelona, Spanien; 2016-09-05 - 2016-09-09.


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