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

Bibliografski detalji
Glavni autori:	Abramsky, S, Dawar, A, Wang, P
Format:	Conference item
Izdano:	IEEE 2017

Slični predmeti

The Pebble-Relation Comonad in Finite Model Theory
od: Yoàv Montacute, i dr.
Izdano: (2024-05-01)

Game Comonads & Generalised Quantifiers
od: Adam Ó Conghaile, i dr.
Izdano: (2024-07-01)

Lovasz-type theorems and game comonads
od: Dawar, A, i dr.
Izdano: (2021)

Relating structure to power: comonadic semantics for computational resources
od: Abramsky, S, i dr.
Izdano: (2018)

A comonadic view of simulation and quantum resources
od: Abramsky, S, i dr.
Izdano: (2019)

On quasi-monoidal comonads and their corepresentations
od: Dingguo Wang, i dr.
Izdano: (2022-06-01)

When is a container a comonad?
od: Danel Ahman, i dr.
Izdano: (2014-09-01)

Linear Exponential Comonads without Symmetry
od: Masahito Hasegawa
Izdano: (2017-01-01)

Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited
od: Hinze, R, i dr.
Izdano: (2013)

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

Monophonic pebbling number and t-pebbling number of some graphs
od: A. Lourdusamy, i dr.
Izdano: (2022-05-01)

Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs
od: Demaine, Erik D, i dr.
Izdano: (2019)

Graph pebbling number and model
od: Fatemeh Aghaei Meybodi, i dr.
Izdano: (2023-02-01)

Individual pebble temperature peaking factor due to local pebble arrangement in a pebble bed reactor core
od: Sobes, Vladimir, i dr.
Izdano: (2021)

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

Pebble bed conductors
od: Bromberg, L., i dr.
Izdano: (2015)

Effects of 3D contraction on pebble flow uniformity and stagnation in pebble beds
od: Mengqi Wu, i dr.
Izdano: (2021-05-01)

Modular Pebble Bed Reactor
od: Kadak, Andrew C., i dr.
Izdano: (2011)

An Analytical Theory for the Growth from Planetesimals to Planets by Polydisperse Pebble Accretion
od: Wladimir Lyra, i dr.
Izdano: (2023-01-01)

Red-Blue Pebble Game
od: Demaine, Erik D, i dr.
Izdano: (2020)

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

The optimal pebbling of spindle graphs
od: Gao Ze-Tu, i dr.
Izdano: (2019-11-01)

Downstream rounding rate of pebbles in the Himalaya
od: P. Pokhrel, i dr.
Izdano: (2024-04-01)

Oxidation behaviour of neutron irradiated Be pebbles
od: N. Catarino, i dr.
Izdano: (2020-05-01)

Spatio-Temporal Compressive Behaviors of River Pebble Concrete and Sea Pebble Concrete in Island Offshore Engineering
od: Yuan Yuan, i dr.
Izdano: (2024-08-01)

Characteristics of pebble shape and the amount of pebble abrasion measured with a replica reproduced on a curling rink
od: Satoshi Yanagi, i dr.
Izdano: (2024-05-01)

MCNP4B Modeling of Pebble-Bed Reactors
od: Lebenhaft, Julian Robert
Izdano: (2011)

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

Generalization of the Cover Pebbling Number for Networks
od: Zheng-Jiang Xia, i dr.
Izdano: (2020-06-01)

Automated pebble mosaic stylization of images
od: Lars Doyle, i dr.
Izdano: (2019-04-01)

Bounds for the pebbling number of product graphs
od: Nopparat Pleanmani, i dr.
Izdano: (2022-12-01)

Pebbled skin over axilla and umbilicus
od: Ankita Agrawal, i dr.
Izdano: (2019-01-01)

Prediction of the remaining time and time interval of pebbles in pebble bed HTGRs aided by CNN via DEM datasets
od: Mengqi Wu, i dr.
Izdano: (2023-01-01)

Generalising Automaticity to Model Properties of Finite Structures
od: Dawar, A, i dr.
Izdano: (2007)

Effect of Pebble Size Distribution and Wall Effect on Inner Packing Structure and Contact Force Distribution in Tritium Breeder Pebble Bed
od: Baoping Gong, i dr.
Izdano: (2021-01-01)

Particle size dynamics in abrading pebble populations
od: A. A. Sipos, i dr.
Izdano: (2021-03-01)

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

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

Analysis of the Load-Bearing Capacity of Pebble Aggregates
od: Pan Liu, i dr.
Izdano: (2024-04-01)

Pebbling of skin: Cutaneous marker of Hunter syndrome
od: Sahana M Srinivas, i dr.
Izdano: (2017-01-01)