Closed systems of functions and predicates

Cited in

(99)

Galois theory for analogical classifiers
Clones of (continuous) partial cofunctions
Critical relations of crowns in critical times of coronavirus depression
scientific article; zbMATH DE number 7301721 (Why is no real title available?)
Characterization of preclones by matrix collections
On the use of majority for investigating primeness of 3-permutability
The lattice and semigroup structure of multipermutations
The lattice of clones of self-dual operations collapsed
\(n\)-permutability is not join-prime for \(n\geq 5\)
Polymorphism-homogeneity and universal algebraic geometry
Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions
Submaximal clones over a three-element set up to minor-equivalence
A dichotomy theorem for the inverse satisfiability problem
All centralising monoids with majority witnesses on a four-element set
Generalized satisfiability problems via operator assignments
Time complexity of constraint satisfaction via universal algebra
Constraint Satisfaction Problems with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations
Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem
scientific article; zbMATH DE number 7536113 (Why is no real title available?)
Exploring new topologies for the theory of clones
Multisorted Boolean clones determined by binary relations up to minion homomorphisms
Topology and Adjunction in Promise Constraint Satisfaction
scientific article; zbMATH DE number 7536562 (Why is no real title available?)
scientific article; zbMATH DE number 7561680 (Why is no real title available?)
Unifying the three algebraic approaches to the CSP via minimal Taylor algebras
Finite degree clones are undecidable
Quantified Constraints in Twenty Seventeen
The algebraic structure of the densification and the sparsification tasks for CSPs
An algebraic characterization of tractable constraints
Constraint satisfaction problem: what makes the problem easy
Deciding absorption in relational structures
Forbidden tournaments and the orientation completion problem
A complete classification of equational classes of threshold functions included in clones
Topological Birkhoff
The completeness problem in partial hyperclones
Extension of not everywhere defined functions of many-valued logic
\(n\)-permutability and linear Datalog implies symmetric Datalog
Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
Boolean max-co-clones
The subalgebra systems of direct powers
Structure identification of Boolean relations and plain bases for co-clones
scientific article; zbMATH DE number 6970794 (Why is no real title available?)
Unique inclusions of maximal C-clones in maximal clones
Constraint Satisfaction Problems Solvable by Local Consistency Methods
Absorption in universal algebra and CSP
A general Galois theory for operations and relations in arbitrary categories
A short introduction to clones.
Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
Functional clones and expressibility of partition functions
Quantified constraint satisfaction problem on semicomplete digraphs
On the complexity of \(\mathbb{H}\)-coloring for special oriented trees
Robustly solvable constraint satisfaction problems
A combinatorial constraint satisfaction problem dichotomy classification conjecture
A Generalized Version of the Baker–Pixley Theorem
Algebras of prime cardinality with a cyclic automorphism
Galois connection for multiple-output operations
Finitely Many Primitive Positive Clones
Counting the relations compatible with an algebra
scientific article; zbMATH DE number 7359806 (Why is no real title available?)
Meet-irreducible submaximal clones determined by nontrivial equivalence relations
Galois theory for sets of operations closed under permutation, cylindrification, and composition
Colouring, constraint satisfaction, and complexity
A general duality theory for clones
Solution sets of systems of equations over finite lattices and semilattices
Partial Polymorphisms and Constraint Satisfaction Problems
Constraint Satisfaction Problems with Infinite Templates
Existence of cube terms in finite algebras
On orders of closed classes containing a homogeneous switching function
Natural duality via a finite set of relations
Taylor's modularity conjecture and related problems for idempotent varieties
The lattice of alter egos
scientific article; zbMATH DE number 6973795 (Why is no real title available?)
On Boolean primitive positive clones
On the expression complexity of equivalence and isomorphism of primitive positive formulas
What makes propositional abduction tractable
Trichotomies in the complexity of minimal inference
CSP for binary conservative relational structures
On finitely related semigroups.
Affine systems of equations and counting infinitary logic
The size of generating sets of powers
Closed classes of functions, generalized constraints, and clusters
Rigid binary relations on a 4-element domain
Lewis dichotomies in many-valued logics
Gap theorems for robust satisfiability: Boolean CSPs and beyond
An algebraic hardness criterion for surjective constraint satisfaction.
The constraint satisfaction problem and universal algebra
Strong partial clones and the time complexity of SAT problems
The existence of a near-unanimity function is decidable
The complexity of equality constraint languages
Clones with finitely many relative \({\mathcal R}\)-classes
On the algebraic structure of combinatorial problems
Galois theory for semiclones
The complexity of satisfiability problems: Refining Schaefer's theorem
Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
Complexity Classifications for Logic-Based Argumentation
Conditions for maximality of subclones
Weak bases of Boolean co-clones
Basics of Galois Connections
Definability of Boolean function classes by linear equations over \(\mathbf{GF}(2)\)

This page was built for publication: Closed systems of functions and predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2536623)