Back to Results
First PageMeta Content
Mathematics / 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 Freiburg
Add to Reading List

Document Date: 2018-04-25 11:34:43


Open Document

File Size: 766,71 KB

Share Result on Facebook
UPDATE