Vinter: A Vampire-Based Tool for Interpolation

Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Pages	148-156
Number of pages	9
DOIs	https://doi.org/10.1007/978-3-642-35182-2_11
Publication status	Published - 2012

Access to Document

@inproceedings{fd0703b337da4ae8a4a8ef136bfba3a3,

title = "Vinter: A Vampire-Based Tool for Interpolation",

author = "Krystof Hoder and Andreas Holzer and Laura Kov{\'a}cs and Andrei Voronkov",

year = "2012",

doi = "10.1007/978-3-642-35182-2_11",

language = "English",

pages = "148--156",

booktitle = "Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings",

}

TY - GEN

T1 - Vinter: A Vampire-Based Tool for Interpolation

AU - Hoder, Krystof

AU - Holzer, Andreas

AU - Kovács, Laura

AU - Voronkov, Andrei

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-35182-2_11

DO - 10.1007/978-3-642-35182-2_11

M3 - Conference contribution

SP - 148

EP - 156

BT - Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

ER -