Publications

2 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