[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Kovacs:
"Interpolation and Symbol Elimination";
Talk: Dagstuhl Seminar 10161 on "Decision Procedures in Software, Hardware and Bioware", Schloss Dagstuhl, Germany; 2010-04-18 - 2010-04-23.


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