On closed sets of relational constraints and classes of functions closed under variable substitutions
Foldes, Stephan; Couceiro, Miguel (2005), On closed sets of relational constraints and classes of functions closed under variable substitutions, Algebra Universalis, 54, p. 149-165. http://dx.doi.org/10.1007/s00012-005-1933-1
TypeArticle accepté pour publication ou publié
Journal nameAlgebra Universalis
MetadataShow full item record
Abstract (EN)Pippenger’s Galois theory of ﬁnite functions and relational constraints is ex- tended to the inﬁnite case. The functions involved are functions of several variables on a set A and taking values in a possibly diﬀerent set B , where any or both of A and B may be ﬁnite or inﬁnite.
Subjects / Keywordslocal closure; closure conditions; superposition; minors; clones; function class; constraint satisfaction; preservation; constraints; Relations
Showing items related by title and author.