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

Полное описание

Библиографические подробности
Главные авторы:	Abramsky, S, Dawar, A, Wang, P
Формат:	Conference item
Опубликовано:	IEEE 2017

Схожие документы

The Pebble-Relation Comonad in Finite Model Theory
по: Yoàv Montacute, и др.
Опубликовано: (2024-05-01)

Game Comonads & Generalised Quantifiers
по: Adam Ó Conghaile, и др.
Опубликовано: (2024-07-01)

Lovasz-type theorems and game comonads
по: Dawar, A, и др.
Опубликовано: (2021)

Relating structure to power: comonadic semantics for computational resources
по: Abramsky, S, и др.
Опубликовано: (2018)

A comonadic view of simulation and quantum resources
по: Abramsky, S, и др.
Опубликовано: (2019)

On quasi-monoidal comonads and their corepresentations
по: Dingguo Wang, и др.
Опубликовано: (2022-06-01)

When is a container a comonad?
по: Danel Ahman, и др.
Опубликовано: (2014-09-01)

Linear Exponential Comonads without Symmetry
по: Masahito Hasegawa
Опубликовано: (2017-01-01)

Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited
по: Hinze, R, и др.
Опубликовано: (2013)

A correspondence between proximity homomorphisms and certain frame maps via a comonad
по: Ando Razafindrakoto
Опубликовано: (2025-01-01)

Monophonic pebbling number and t-pebbling number of some graphs
по: A. Lourdusamy, и др.
Опубликовано: (2022-05-01)

Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs
по: Demaine, Erik D, и др.
Опубликовано: (2019)

Graph pebbling number and model
по: Fatemeh Aghaei Meybodi, и др.
Опубликовано: (2023-02-01)

Individual pebble temperature peaking factor due to local pebble arrangement in a pebble bed reactor core
по: Sobes, Vladimir, и др.
Опубликовано: (2021)

Renewable ethnography: Ethnographic pebbles & Labyrinths in the way of theory
по: Fischer, Michael M. J.
Опубликовано: (2010)

Pebble bed conductors
по: Bromberg, L., и др.
Опубликовано: (2015)

Effects of 3D contraction on pebble flow uniformity and stagnation in pebble beds
по: Mengqi Wu, и др.
Опубликовано: (2021-05-01)

Modular Pebble Bed Reactor
по: Kadak, Andrew C., и др.
Опубликовано: (2011)

An Analytical Theory for the Growth from Planetesimals to Planets by Polydisperse Pebble Accretion
по: Wladimir Lyra, и др.
Опубликовано: (2023-01-01)

Red-Blue Pebble Game
по: Demaine, Erik D, и др.
Опубликовано: (2020)

PEBBLEs: LAS NANOESFERAS SENSORAS
по: José Seco Álvarez
Опубликовано: (2008-12-01)

The optimal pebbling of spindle graphs
по: Gao Ze-Tu, и др.
Опубликовано: (2019-11-01)

Downstream rounding rate of pebbles in the Himalaya
по: P. Pokhrel, и др.
Опубликовано: (2024-04-01)

Oxidation behaviour of neutron irradiated Be pebbles
по: N. Catarino, и др.
Опубликовано: (2020-05-01)

Spatio-Temporal Compressive Behaviors of River Pebble Concrete and Sea Pebble Concrete in Island Offshore Engineering
по: Yuan Yuan, и др.
Опубликовано: (2024-08-01)

Characteristics of pebble shape and the amount of pebble abrasion measured with a replica reproduced on a curling rink
по: Satoshi Yanagi, и др.
Опубликовано: (2024-05-01)

MCNP4B Modeling of Pebble-Bed Reactors
по: Lebenhaft, Julian Robert
Опубликовано: (2011)

MCNP4B modeling of pebble-bed reactors
по: Lebenhaft, Julian R. (Julian Robert), 1954-
Опубликовано: (2005)

Generalization of the Cover Pebbling Number for Networks
по: Zheng-Jiang Xia, и др.
Опубликовано: (2020-06-01)

Automated pebble mosaic stylization of images
по: Lars Doyle, и др.
Опубликовано: (2019-04-01)

Bounds for the pebbling number of product graphs
по: Nopparat Pleanmani, и др.
Опубликовано: (2022-12-01)

Pebbled skin over axilla and umbilicus
по: Ankita Agrawal, и др.
Опубликовано: (2019-01-01)

Prediction of the remaining time and time interval of pebbles in pebble bed HTGRs aided by CNN via DEM datasets
по: Mengqi Wu, и др.
Опубликовано: (2023-01-01)

Generalising Automaticity to Model Properties of Finite Structures
по: Dawar, A, и др.
Опубликовано: (2007)

Effect of Pebble Size Distribution and Wall Effect on Inner Packing Structure and Contact Force Distribution in Tritium Breeder Pebble Bed
по: Baoping Gong, и др.
Опубликовано: (2021-01-01)

Particle size dynamics in abrading pebble populations
по: A. A. Sipos, и др.
Опубликовано: (2021-03-01)

The Space Complexity of Two Pebbles Games on Trees
по: Loui, Michael C.
Опубликовано: (2023)

Modularity in design of the MIT Pebble Bed Reactor
по: Berte, Marc Vincent, 1977-
Опубликовано: (2006)

Analysis of the Load-Bearing Capacity of Pebble Aggregates
по: Pan Liu, и др.
Опубликовано: (2024-04-01)

Pebbling of skin: Cutaneous marker of Hunter syndrome
по: Sahana M Srinivas, и др.
Опубликовано: (2017-01-01)