Publications

3 results at Logical Methods in Computer Science

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