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)