Finite Model Theory

• 1 January 1995
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-3-662-03182-7

Abstract

Keywords

• 0-1-GESETZE
• 0-1-LAWS
• DESKRIPTIVE KOMPLEXITÄTSTHEORIE
• FIXPUNKTLOGIKEN
• AUTOMATA
• BOOLEAN SATISFIABILITY PROBLEM
• COMPLEXITY
• COMPLEXITY THEORY
• DESCRIPTION COMPLEXITY THEORY
• FINITE MODEL THEORY
• FIXED-POINT LOGICS
• LOGIC
• MODEL THEORY
• OPTIMIZATION
• THEORY OF COMPLEXITY