Back to Results
First PageMeta Content
Model theory / Automated theorem proving / Boolean algebra / Resolution / Interpolation / First-order logic / Interpretation / Unsatisfiable core / Atomic formula / Logic / Mathematical logic / Propositional calculus


Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract
Add to Reading List

Document Date: 2014-05-07 12:02:18

Open Document

File Size: 271,31 KB

Share Result on Facebook
UPDATE