MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2025
- Logical Methods in Computer Science
Publications
3 results at Logical Methods in Computer Science
MULTI-STRUCTURAL GAMES AND BEYOND
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- Logical Methods in Computer Science
Composition with target constraints
- Marcelo Arenas
- Ronald Fagin
- et al.
- 2011
- Logical Methods in Computer Science