Pages that link to "Finite model theory"
Jump to navigation
Jump to search
The following pages link to Finite model theory:
Displaying 17 items.
- Model theory (← links)
- Constraint satisfaction problem (← links)
- Formal verification (← links)
- Transitive closure (← links)
- List of mathematical logic topics (← links)
- Samson Abramsky (← links)
- Constraint satisfaction (← links)
- Ehrenfeucht–Fraïssé game (← links)
- Database theory (← links)
- Descriptive complexity theory (← links)
- Elementary class (← links)
- Structure (mathematical logic) (← links)
- Trakhtenbrot's theorem (← links)
- Complexity of constraint satisfaction (← links)
- Modal μ-calculus (← links)
- User:Chalst/logic-watchlist (← links)
- Wiki143:WikiProject Mathematics/List of mathematics articles (F) (← links)