First Page | Document Content | |
---|---|---|
Date: 2018-04-25 11:34:43Mathematics Theoretical computer science Mathematical logic Lemmas Model theory Interpolation Logic in computer science Craig interpolation Satisfiability modulo theories Farkas' lemma Quantifier elimination First-order logic | Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of FreiburgAdd to Reading ListSource URL: csl.sri.comDownload Document from Source WebsiteFile Size: 766,71 KBShare Document on Facebook |