Pages that link to "Item:Q703863"
From MaRDI portal
The following pages link to Finite model theory and its applications. (Q703863):
Displayed 4 items.
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory (Q870360) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- A Logical Approach to Constraint Satisfaction (Q5504702) (← links)