C-clones are polymorphism sets of so-called clausal relations, a spe-cial type of relations on a finite domain, which first appeared in connec-tion with constraint satisfaction problems in [CHKS08]. We completely describe the relationship w.r.t. set inclusion between maximal C-clones and maximal clones. As a main result we obtain that for every maximal C-clone there exists exactly one maximal clone in which it is contained. A precise description of this unique maximal clone, as well as a corres-ponding completeness criterion for C-clones is given.
International audienceA strong partial clone is a set of partial operations closed under composition...
International audienceA strong partial clone is a set of partial operations closed under composition...
A clone on a set A is a collection of (finitary) operations on A that contains the projection operat...
A restricted version of the Galois connection between polymorphisms and invariants, called Pol−CInv,...
A restricted version of the Galois connection between polymorphisms and invariants, called Pol−CInv,...
A restricted version of the Galois connection between polymorphisms and invariants, called Pol−CInv,...
We introduce a special set of relations on a finite set, called clausal relations. A restricted vers...
peer reviewedWe show that different coherent relations specify different maximal partial clones. The...
AbstractCompleteness or primality for partial algebras on a finite universe A is defined in a way si...
AbstractWe investigate interpolation and extrapolation properties of composition-closed sets of part...
In a recent paper, we have introduced the notion of clone relation of a given binary relation. Intui...
We consider finitary relations (also known as crosses) that are definable via finite disjunctions of...
In a recent paper, we have introduced the notion of clone relation of a given binary relation. Intui...
peer reviewedAll maximal partial clones on 4-element, 5-element, and 6-element sets have been found ...
AbstractOne of the most important results is the fact that the number of clones is a continuum for k...
International audienceA strong partial clone is a set of partial operations closed under composition...
International audienceA strong partial clone is a set of partial operations closed under composition...
A clone on a set A is a collection of (finitary) operations on A that contains the projection operat...
A restricted version of the Galois connection between polymorphisms and invariants, called Pol−CInv,...
A restricted version of the Galois connection between polymorphisms and invariants, called Pol−CInv,...
A restricted version of the Galois connection between polymorphisms and invariants, called Pol−CInv,...
We introduce a special set of relations on a finite set, called clausal relations. A restricted vers...
peer reviewedWe show that different coherent relations specify different maximal partial clones. The...
AbstractCompleteness or primality for partial algebras on a finite universe A is defined in a way si...
AbstractWe investigate interpolation and extrapolation properties of composition-closed sets of part...
In a recent paper, we have introduced the notion of clone relation of a given binary relation. Intui...
We consider finitary relations (also known as crosses) that are definable via finite disjunctions of...
In a recent paper, we have introduced the notion of clone relation of a given binary relation. Intui...
peer reviewedAll maximal partial clones on 4-element, 5-element, and 6-element sets have been found ...
AbstractOne of the most important results is the fact that the number of clones is a continuum for k...
International audienceA strong partial clone is a set of partial operations closed under composition...
International audienceA strong partial clone is a set of partial operations closed under composition...
A clone on a set A is a collection of (finitary) operations on A that contains the projection operat...