The following pages link to (Q4362728):
Displaying 8 items.
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Small model property reflects in games and automata (Q2151424) (← links)
- Pebble games and subroutines in least fixed point logic (Q2508327) (← links)
- Games in finite model theory (Q2721286) (← links)
- (Q3078324) (← links)
- (Q3125031) (← links)
- PEBBLE GAMES AND LINEAR EQUATIONS (Q3450805) (← links)
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (Q5044763) (← links)