scientific article; zbMATH DE number 7297877
From MaRDI portal
zbMath1452.03083arXiv1704.05124MaRDI QIDQ5144676
Pengming Wang, Samson Abramsky, Anuj Dawar
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1704.05124
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Model theory of finite structures (03C13) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Structure and Power: an Emerging Landscape, A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem, Lov\'asz Meets Weisfeiler and Leman, Monoidal Width, Pebble games and cospectral graphs, Arboreal categories and equi-resource homomorphism preservation theorems, Arboreal Categories: An Axiomatic Theory of Resources, A duality theoretic view on limits of finite structures, Constructing Hard Examples for Graph Isomorphism, Whither semantics?, Relating structure and power: comonadic semantics for computational resources (extended abstract), Unnamed Item, Definable Inapproximability: New Challenges for Duplicator, Relating Structure and Power: Comonadic Semantics for Computational Resources, Polyadic sets and homomorphism counting, Discrete density comonads and graph parameters
