First Page | Document Content | |
---|---|---|
Date: 2009-06-21 20:13:07Predicate 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 KapurAdd to Reading ListSource URL: www.cs.unm.eduDownload Document from Source WebsiteFile Size: 377,69 KBShare Document on Facebook |