First Page | Document Content | |
---|---|---|
Date: 2009-11-10 10:56:14Logic Model theory Abstraction Mathematical logic Semantics Predicate logic Metalogic Structure Homomorphism Interpretation Symbol First-order logic | Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent MadelaineAdd to Reading ListSource URL: www.bedewell.comDownload Document from Source WebsiteFile Size: 292,31 KBShare Document on Facebook |