Back to Results
First PageMeta Content
Logic / Abstraction / Mathematics / Model theory / Mathematical logic / Craig interpolation / First-order logic / Conjunctive query / Beth definability / Substitution / Interpretation / Structure


Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford
Add to Reading List

Document Date: 2013-10-18 17:50:36


Open Document

File Size: 251,77 KB

Share Result on Facebook