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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Abramsky, S, Dawar, A, Wang, P
Fformat:	Conference item
Cyhoeddwyd:	IEEE 2017

Eitemau Tebyg

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

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

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

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

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

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

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

Linear Exponential Comonads without Symmetry
gan: Masahito Hasegawa
Cyhoeddwyd: (2017-01-01)

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

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

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

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

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

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

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

Pebble bed conductors
gan: Bromberg, L., et al.
Cyhoeddwyd: (2015)

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

Modular Pebble Bed Reactor
gan: Kadak, Andrew C., et al.
Cyhoeddwyd: (2011)

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

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

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

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

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

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

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

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

MCNP4B Modeling of Pebble-Bed Reactors
gan: Lebenhaft, Julian Robert
Cyhoeddwyd: (2011)

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

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

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

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

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

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

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

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

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

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

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

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

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