On closed sets of relational constraints and classes of functions closed under variable substitutions |
| |
| Authors: | Miguel Couceiro Stephan Foldes |
| |
| Affiliation: | (1) Department of Mathematics, Statistics and Philosophy, University of Tampere, Kalevantie 4, 33014 Tampere, Finland;(2) Institute of Mathematics, Tampere University of Technology, PL553, 33101 Tampere, Finland |
| |
| Abstract: | Pippenger’s Galois theory of finite functions and relational constraints is extended 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. Received April 30, 2004; accepted in final form February 8, 2005. |
| |
| Keywords: | 08A02 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
