The pebbling comonad in finite model theory
Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of category theory which are widely used in semantics of computation and in modern functional programming. We show that existential kpebble games h...
Những tác giả chính: | Abramsky, S, Dawar, A, Wang, P |
---|---|
Định dạng: | Conference item |
Được phát hành: |
IEEE
2017
|
Những quyển sách tương tự
-
The Pebble-Relation Comonad in Finite Model Theory
Bằng: Yoàv Montacute, et al.
Được phát hành: (2024-05-01) -
Game Comonads & Generalised Quantifiers
Bằng: Adam Ó Conghaile, et al.
Được phát hành: (2024-07-01) -
Lovasz-type theorems and game comonads
Bằng: Dawar, A, et al.
Được phát hành: (2021) -
Relating structure to power: comonadic semantics for computational resources
Bằng: Abramsky, S, et al.
Được phát hành: (2018) -
A comonadic view of simulation and quantum resources
Bằng: Abramsky, S, et al.
Được phát hành: (2019)