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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Abramsky, S, Dawar, A, Wang, P
Formáid:	Conference item
Foilsithe / Cruthaithe:	IEEE 2017

Míreanna comhchosúla

The Pebble-Relation Comonad in Finite Model Theory
de réir: Yoàv Montacute, et al.
Foilsithe / Cruthaithe: (2024-05-01)

Game Comonads & Generalised Quantifiers
de réir: Adam Ó Conghaile, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Lovasz-type theorems and game comonads
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2021)

Relating structure to power: comonadic semantics for computational resources
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2018)

A comonadic view of simulation and quantum resources
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2019)

On quasi-monoidal comonads and their corepresentations
de réir: Dingguo Wang, et al.
Foilsithe / Cruthaithe: (2022-06-01)

When is a container a comonad?
de réir: Danel Ahman, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Linear Exponential Comonads without Symmetry
de réir: Masahito Hasegawa
Foilsithe / Cruthaithe: (2017-01-01)

Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2013)

A correspondence between proximity homomorphisms and certain frame maps via a comonad
de réir: Ando Razafindrakoto
Foilsithe / Cruthaithe: (2025-01-01)

Monophonic pebbling number and t-pebbling number of some graphs
de réir: A. Lourdusamy, et al.
Foilsithe / Cruthaithe: (2022-05-01)

Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs
de réir: Demaine, Erik D, et al.
Foilsithe / Cruthaithe: (2019)

Graph pebbling number and model
de réir: Fatemeh Aghaei Meybodi, et al.
Foilsithe / Cruthaithe: (2023-02-01)

Individual pebble temperature peaking factor due to local pebble arrangement in a pebble bed reactor core
de réir: Sobes, Vladimir, et al.
Foilsithe / Cruthaithe: (2021)

Renewable ethnography: Ethnographic pebbles & Labyrinths in the way of theory
de réir: Fischer, Michael M. J.
Foilsithe / Cruthaithe: (2010)

Pebble bed conductors
de réir: Bromberg, L., et al.
Foilsithe / Cruthaithe: (2015)

Effects of 3D contraction on pebble flow uniformity and stagnation in pebble beds
de réir: Mengqi Wu, et al.
Foilsithe / Cruthaithe: (2021-05-01)

Modular Pebble Bed Reactor
de réir: Kadak, Andrew C., et al.
Foilsithe / Cruthaithe: (2011)

An Analytical Theory for the Growth from Planetesimals to Planets by Polydisperse Pebble Accretion
de réir: Wladimir Lyra, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Red-Blue Pebble Game
de réir: Demaine, Erik D, et al.
Foilsithe / Cruthaithe: (2020)

PEBBLEs: LAS NANOESFERAS SENSORAS
de réir: José Seco Álvarez
Foilsithe / Cruthaithe: (2008-12-01)

The optimal pebbling of spindle graphs
de réir: Gao Ze-Tu, et al.
Foilsithe / Cruthaithe: (2019-11-01)

Downstream rounding rate of pebbles in the Himalaya
de réir: P. Pokhrel, et al.
Foilsithe / Cruthaithe: (2024-04-01)

Oxidation behaviour of neutron irradiated Be pebbles
de réir: N. Catarino, et al.
Foilsithe / Cruthaithe: (2020-05-01)

Spatio-Temporal Compressive Behaviors of River Pebble Concrete and Sea Pebble Concrete in Island Offshore Engineering
de réir: Yuan Yuan, et al.
Foilsithe / Cruthaithe: (2024-08-01)

Characteristics of pebble shape and the amount of pebble abrasion measured with a replica reproduced on a curling rink
de réir: Satoshi Yanagi, et al.
Foilsithe / Cruthaithe: (2024-05-01)

MCNP4B Modeling of Pebble-Bed Reactors
de réir: Lebenhaft, Julian Robert
Foilsithe / Cruthaithe: (2011)

MCNP4B modeling of pebble-bed reactors
de réir: Lebenhaft, Julian R. (Julian Robert), 1954-
Foilsithe / Cruthaithe: (2005)

Generalization of the Cover Pebbling Number for Networks
de réir: Zheng-Jiang Xia, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Automated pebble mosaic stylization of images
de réir: Lars Doyle, et al.
Foilsithe / Cruthaithe: (2019-04-01)

Bounds for the pebbling number of product graphs
de réir: Nopparat Pleanmani, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Pebbled skin over axilla and umbilicus
de réir: Ankita Agrawal, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Prediction of the remaining time and time interval of pebbles in pebble bed HTGRs aided by CNN via DEM datasets
de réir: Mengqi Wu, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Generalising Automaticity to Model Properties of Finite Structures
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2007)

Effect of Pebble Size Distribution and Wall Effect on Inner Packing Structure and Contact Force Distribution in Tritium Breeder Pebble Bed
de réir: Baoping Gong, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Particle size dynamics in abrading pebble populations
de réir: A. A. Sipos, et al.
Foilsithe / Cruthaithe: (2021-03-01)

The Space Complexity of Two Pebbles Games on Trees
de réir: Loui, Michael C.
Foilsithe / Cruthaithe: (2023)

Modularity in design of the MIT Pebble Bed Reactor
de réir: Berte, Marc Vincent, 1977-
Foilsithe / Cruthaithe: (2006)

Analysis of the Load-Bearing Capacity of Pebble Aggregates
de réir: Pan Liu, et al.
Foilsithe / Cruthaithe: (2024-04-01)

Pebbling of skin: Cutaneous marker of Hunter syndrome
de réir: Sahana M Srinivas, et al.
Foilsithe / Cruthaithe: (2017-01-01)