Back to Results
First PageMeta Content
Logic / Model theory / Mathematics / Mathematical logic / Conjunctive query / Structure / First-order logic / Substitution / Relational algebra / FO / Interpretation / Satisfiability


Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK
Add to Reading List

Document Date: 2015-10-05 08:25:05


Open Document

File Size: 269,79 KB

Share Result on Facebook