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.