Tree Interpolation in Vampire
From MaRDI portal
Publication:2870125
DOI10.1007/978-3-642-45221-5_13zbMath1406.68104MaRDI QIDQ2870125
Ashutosh Gupta, Régis Blanc, Laura Kovács, Bernhard Kragl
Publication date: 17 January 2014
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://infoscience.epfl.ch/record/192948/files/LPAR13_Blanc.pdf
03C40: Interpolation, preservation, definability
Related Items
Uses Software