The pebbling comonad in finite model theory

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...

Descripció completa

Dades bibliogràfiques
Autors principals:	Abramsky, S, Dawar, A, Wang, P
Format:	Conference item
Publicat:	IEEE 2017

Ítems similars

The Pebble-Relation Comonad in Finite Model Theory
per: Yoàv Montacute, et al.
Publicat: (2024-05-01)

Game Comonads & Generalised Quantifiers
per: Adam Ó Conghaile, et al.
Publicat: (2024-07-01)

Lovasz-type theorems and game comonads
per: Dawar, A, et al.
Publicat: (2021)

Relating structure to power: comonadic semantics for computational resources
per: Abramsky, S, et al.
Publicat: (2018)

A comonadic view of simulation and quantum resources
per: Abramsky, S, et al.
Publicat: (2019)

On quasi-monoidal comonads and their corepresentations
per: Dingguo Wang, et al.
Publicat: (2022-06-01)

When is a container a comonad?
per: Danel Ahman, et al.
Publicat: (2014-09-01)

Linear Exponential Comonads without Symmetry
per: Masahito Hasegawa
Publicat: (2017-01-01)

Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited
per: Hinze, R, et al.
Publicat: (2013)

A correspondence between proximity homomorphisms and certain frame maps via a comonad
per: Ando Razafindrakoto
Publicat: (2025-01-01)

Monophonic pebbling number and t-pebbling number of some graphs
per: A. Lourdusamy, et al.
Publicat: (2022-05-01)

Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs
per: Demaine, Erik D, et al.
Publicat: (2019)

Graph pebbling number and model
per: Fatemeh Aghaei Meybodi, et al.
Publicat: (2023-02-01)

Individual pebble temperature peaking factor due to local pebble arrangement in a pebble bed reactor core
per: Sobes, Vladimir, et al.
Publicat: (2021)

Renewable ethnography: Ethnographic pebbles & Labyrinths in the way of theory
per: Fischer, Michael M. J.
Publicat: (2010)

Pebble bed conductors
per: Bromberg, L., et al.
Publicat: (2015)

Effects of 3D contraction on pebble flow uniformity and stagnation in pebble beds
per: Mengqi Wu, et al.
Publicat: (2021-05-01)

Modular Pebble Bed Reactor
per: Kadak, Andrew C., et al.
Publicat: (2011)

An Analytical Theory for the Growth from Planetesimals to Planets by Polydisperse Pebble Accretion
per: Wladimir Lyra, et al.
Publicat: (2023-01-01)

Red-Blue Pebble Game
per: Demaine, Erik D, et al.
Publicat: (2020)

PEBBLEs: LAS NANOESFERAS SENSORAS
per: José Seco Álvarez
Publicat: (2008-12-01)

The optimal pebbling of spindle graphs
per: Gao Ze-Tu, et al.
Publicat: (2019-11-01)

Downstream rounding rate of pebbles in the Himalaya
per: P. Pokhrel, et al.
Publicat: (2024-04-01)

Oxidation behaviour of neutron irradiated Be pebbles
per: N. Catarino, et al.
Publicat: (2020-05-01)

Spatio-Temporal Compressive Behaviors of River Pebble Concrete and Sea Pebble Concrete in Island Offshore Engineering
per: Yuan Yuan, et al.
Publicat: (2024-08-01)

Characteristics of pebble shape and the amount of pebble abrasion measured with a replica reproduced on a curling rink
per: Satoshi Yanagi, et al.
Publicat: (2024-05-01)

MCNP4B Modeling of Pebble-Bed Reactors
per: Lebenhaft, Julian Robert
Publicat: (2011)

MCNP4B modeling of pebble-bed reactors
per: Lebenhaft, Julian R. (Julian Robert), 1954-
Publicat: (2005)

Generalization of the Cover Pebbling Number for Networks
per: Zheng-Jiang Xia, et al.
Publicat: (2020-06-01)

Automated pebble mosaic stylization of images
per: Lars Doyle, et al.
Publicat: (2019-04-01)

Bounds for the pebbling number of product graphs
per: Nopparat Pleanmani, et al.
Publicat: (2022-12-01)

Pebbled skin over axilla and umbilicus
per: Ankita Agrawal, et al.
Publicat: (2019-01-01)

Prediction of the remaining time and time interval of pebbles in pebble bed HTGRs aided by CNN via DEM datasets
per: Mengqi Wu, et al.
Publicat: (2023-01-01)

Generalising Automaticity to Model Properties of Finite Structures
per: Dawar, A, et al.
Publicat: (2007)

Effect of Pebble Size Distribution and Wall Effect on Inner Packing Structure and Contact Force Distribution in Tritium Breeder Pebble Bed
per: Baoping Gong, et al.
Publicat: (2021-01-01)

Particle size dynamics in abrading pebble populations
per: A. A. Sipos, et al.
Publicat: (2021-03-01)

The Space Complexity of Two Pebbles Games on Trees
per: Loui, Michael C.
Publicat: (2023)

Modularity in design of the MIT Pebble Bed Reactor
per: Berte, Marc Vincent, 1977-
Publicat: (2006)

Analysis of the Load-Bearing Capacity of Pebble Aggregates
per: Pan Liu, et al.
Publicat: (2024-04-01)

Pebbling of skin: Cutaneous marker of Hunter syndrome
per: Sahana M Srinivas, et al.
Publicat: (2017-01-01)