Relating structure to power: comonadic semantics for computational resources
Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In particular, Ehrenfeucht-Fraïssé games, pebble games, and bisimulation games play a central role. We show how each of the...
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Conference item |
| Хэвлэсэн: |
European Association for Computer Science Logic
2018
|