Pages that link to "Item:Q703863"
From MaRDI portal
The following pages link to Finite model theory and its applications. (Q703863):
Displayed 8 items.
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory (Q870360) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- On Models of a Nondeterministic Computation (Q3392968) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- Fixed-Point Definability and Polynomial Time (Q3644737) (← links)
- A Logical Approach to Constraint Satisfaction (Q5504702) (← links)