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

Document Date: 2009-11-10 10:56:14

Open Document

File Size: 292,31 KB

Share Result on Facebook