Pages that link to "Finite model theory"
Jump to navigation
Jump to search
The following pages link to Finite model theory:
Displaying 19 items.
- Model theory (← links)
- Constraint satisfaction problem (← links)
- Transitive closure (← links)
- Constraint satisfaction (← links)
- Ehrenfeucht–Fraïssé game (← links)
- Descriptive complexity theory (← links)
- Elementary class (← links)
- Structure (mathematical logic) (← links)
- Trakhtenbrot's theorem (← links)
- Complexity of constraint satisfaction (← links)
- Modal μ-calculus (← links)
- BIT predicate (← links)
- Satisfiability (← links)
- Łoś–Tarski preservation theorem (← links)
- Spectrum of a sentence (← links)
- Logic of graphs (← links)
- The Strange Logic of Random Graphs (← links)
- Flag algebra (← links)
- Testwiki:Reference desk/Archives/Mathematics/2014 July 30 (← links)