scientific article; zbMATH DE number 7297876
From MaRDI portal
Publication:5144675
zbMath1452.08001MaRDI QIDQ5144675
Michael Pinsker, Michael Kompatscher, Libor Barto, Miroslav Olšák, Trung van Pham
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330063
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of universal algebra in computer science (08A70) Operations and polynomials in algebraic structures, primal algebras (08A40) Infinite automorphism groups (20B27) Categoricity and completeness of theories (03C35)
Related Items (13)
Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) ⋮ When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems ⋮ Hardness of Network Satisfaction for Relation Algebras with Normal Representations ⋮ Uniform Birkhoff ⋮ Unnamed Item ⋮ 𝜔-categorical structures avoiding height 1 identities ⋮ Solving equation systems in ω-categorical algebras ⋮ Pseudo‐loop conditions ⋮ A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP ⋮ Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) ⋮ Constraint Satisfaction Problems for Reducts of Homogeneous Graphs ⋮ PROJECTIVE CLONE HOMOMORPHISMS ⋮ CORES OVER RAMSEY STRUCTURES
This page was built for publication: