![Finite model theory / Descriptive complexity / Computational complexity theory / FO / Constraint programming / Constraint satisfaction problem / Conjunctive query / SO / HO / Theoretical computer science / Applied mathematics / Complexity classes Finite model theory / Descriptive complexity / Computational complexity theory / FO / Constraint programming / Constraint satisfaction problem / Conjunctive query / SO / HO / Theoretical computer science / Applied mathematics / Complexity classes](https://www.pdfsearch.io/img/dd0ebb3027b4d555bc9ce060f19527c0.jpg)
| Document Date: 2015-06-14 08:17:32 Open Document File Size: 782,69 KBShare Result on Facebook
Company Creative Commons / 3SAT / Dagstuhl Publishing / / Country Germany / / Currency pence / / / Event Force Majeure / / Facility University of Liverpool / / IndustryTerm type systems / database systems / / Organization Universität Bremen / University of Liverpool / Department of Computer Science / / Person Marcelo Arenas / Fontaine / Martin Ugarte / / Position head of at least one rule / types professor / professor / / ProgrammingLanguage Datalog / / ProvinceOrState Vardi / Feder / Iowa / Pennsylvania / / Technology RDBMS / Digital Object Identifier / / URL http /
SocialTag |