Talks and Poster Presentations (with Proceedings-Entry):
K. Hoder, A. Holzer, L. Kovacs, A. Voronkov:
"Vinter: A Vampire-Based Tool for Interpolation";
Talk: Asian Symposium on Programming Languages and Systems (APLAS),
Kyoto, Japan;
2012-12-11
- 2012-12-13; in: "APLAS",
Springer / LNCS,
7705
(2012),
ISBN: 978-3-642-35181-5;
148
- 156.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-35182-2_11
Created from the Publication Database of the Vienna University of Technology.