![Formal methods / Logical syntax / Logic in computer science / Mathematical logic / Automated theorem proving / Interpolation / Satisfiability Modulo Theories / Vampire / Theorem / Logic / Theoretical computer science / Mathematics Formal methods / Logical syntax / Logic in computer science / Mathematical logic / Automated theorem proving / Interpolation / Satisfiability Modulo Theories / Vampire / Theorem / Logic / Theoretical computer science / Mathematics](https://www.pdfsearch.io/img/d19a7fabaaf7df8b38f4060e01d0f239.jpg) Date: 2012-09-19 03:03:42Formal methods Logical syntax Logic in computer science Mathematical logic Automated theorem proving Interpolation Satisfiability Modulo Theories Vampire Theorem Logic Theoretical computer science Mathematics | | Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2Add to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 238,61 KBShare Document on Facebook
|