Back to Results
First PageMeta Content
Predicate logic / Metalogic / Formal languages / Semantics / First-order logic / Interpretation / Quantifier elimination / Well-formed formula / Quantification / Logic / Mathematical logic / Model theory


Interpolation for Data Structures ∗ Deepak Kapur
Add to Reading List

Document Date: 2009-06-21 20:13:07

Open Document

File Size: 377,69 KB

Share Result on Facebook
UPDATE