Computational model theory: an overview

DOI10.1093/jigpal/6.4.601zbMath0909.03031OpenAlexW1988211490MaRDI QIDQ4210768

Moshe Y. Vardi

Publication date: 8 April 1999

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/44021c16e96f106923439c5abdcef049a8c0df26

zbMATH Keywords

expressibilityfinite model theoryinfinitary logicsfixpoint logicsrelational machinecomplexity of relational computationscomputational model theoryrelational model of database computation

Mathematics Subject Classification ID

Database theory (68P15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13) Other infinitary logic (03C75) Turing machines and related notions (03D10)

Related Items

Using temporal logics to express search control knowledge for planning