Imagen de Portada

Game Comonads & Generalised Quantifiers

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Conghaile, Adam Ó, Dawar, Anuj
Formato:	Preprint
Publicado:	2020
Materias:	Logic in Computer Science 68Q19
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Undefinability of Approximation of 2-to-2 Games
por: Dawar, Anuj, et al.
Publicado: (2025)

Preservation theorems on sparse classes revisited
por: Dawar, Anuj, et al.
Publicado: (2024)

Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
por: Schewe, Klaus-Dieter, et al.
Publicado: (2025)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
por: Marković, Petar, et al.
Publicado: (2026)

On Equivalent Characterizations of NP in Abstract Models of Computation
por: Kirn, Jeremy C., et al.
Publicado: (2025)

Constraint satisfaction problems, compactness and non-measurable sets
por: Tardif, Claude
Publicado: (2025)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
por: Dorochko, Leonid, et al.
Publicado: (2026)

Unifying lower bounds for algebraic machines, semantically
por: Seiller, Thomas, et al.
Publicado: (2018)

A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
por: Dubey, ShivKishan, et al.
Publicado: (2025)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
por: Nishida, Naoki, et al.
Publicado: (2026)

A Formalization of Abstract Rewriting in Agda
por: Arkle, Sam, et al.
Publicado: (2026)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
por: Jaber, Guilhem, et al.
Publicado: (2025)

A Complete Fragment of LTL(EB)
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

Choiceless Polynomial Space
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

There is a deep 1-generic set
por: Li, Ang
Publicado: (2024)

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
por: Ham, Lucy, et al.
Publicado: (2022)

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms
por: Kratsios, Anastasis, et al.
Publicado: (2025)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
por: Alpay, Faruk, et al.
Publicado: (2025)

Reversible computations are computations
por: Aubert, Clément, et al.
Publicado: (2025)

Some derivations among Logarithmic Space Bounded Counting Classes
por: Janaki, V., et al.
Publicado: (2023)

Composing Codensity Bisimulations
por: Kori, Mayuko, et al.
Publicado: (2024)

RustyDL: A Program Logic for Rust
por: Drodt, Daniel, et al.
Publicado: (2026)

Flavors of Quantifiers in Hyperlogics
por: Chalupa, Marek, et al.
Publicado: (2025)

Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
por: Larrauri, Alberto
Publicado: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
por: Alpay, Faruk, et al.
Publicado: (2026)

Logarithmic Weisfeiler--Leman and Treewidth
por: Levet, Michael, et al.
Publicado: (2023)

Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler--Leman
por: Levet, Michael, et al.
Publicado: (2023)

Descriptive complexity for neural networks via Boolean networks
por: Ahvonen, Veeti, et al.
Publicado: (2023)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)

Simulating and model checking membrane systems using strategies in Maude
por: Rubio, Rubén, et al.
Publicado: (2024)

On the incomputability of computable dimension
por: Staiger, Ludwig
Publicado: (2019)

Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version)
por: Nishida, Naoki
Publicado: (2026)

Place Bisimilarity is Decidable, Indeed!
por: Gorrieri, Roberto
Publicado: (2021)

Dependence and Independence for Reversible Process Calculi
por: Aubert, Clément, et al.
Publicado: (2024)

Probabilistic Nets-within-Nets
por: Köhler-Bußmeier, Michael
Publicado: (2024)

Principal Types as Partial Involutions
por: Honsell, Furio, et al.
Publicado: (2024)

The Maude strategy language
por: Eker, Steven, et al.
Publicado: (2024)

Compositionality in Coalgebraic Trace Semantics
por: Jourde, Robin, et al.
Publicado: (2026)

A "Symbolic" Representation of Object-Nets (Extended Version)
por: Köhler-Bussmeier, Michael, et al.
Publicado: (2024)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
por: Galmiche, Didier, et al.
Publicado: (2024)