Thumbnail

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

View/Open
Type
Article accepté pour publication ou publié
Date
2005
Journal name
Algebra Universalis
Volume
54
Publisher
Springer
Pages
149-165
Publication identifier
Metadata
Show full item record
Author(s)
Foldes, Stephan
Couceiro, Miguel
Abstract (EN)
Pippenger’s Galois theory of finite functions and relational constraints is ex- tended to the infinite case. The functions involved are functions of several variables on a set A and taking values in a possibly different set B , where any or both of A and B may be finite or infinite.
Subjects / Keywords
local closure; closure conditions; superposition; minors; clones; function class; constraint satisfaction; preservation; constraints; Relations