scientific article; zbMATH DE number 219195

zbMath0774.03012MaRDI QIDQ4694685

Ronald Fagin

Publication date: 29 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

zero-one lawsexpressibilitylogic programmingcomplexity classesdatabasesasymptotic probabilities of sentencesmodel theory of finite structures

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) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items

Computation models and function algebras, Computing on structures, Infinitary logic for computer science