DocumentCode
2299531
Title
On Equational Definability of Function Classes
Author
Couceiro, Miguel ; Lehtonen, Erkko ; Waldhauser, Tamás
Author_Institution
Technol. & Commun., Univ. of Luxembourg, Luxemburg City, Luxembourg
fYear
2011
fDate
23-25 May 2011
Firstpage
182
Lastpage
186
Abstract
We propose a notion of functional equation for functions of a fixed arity, which is based on a pair of clones. We present necessary conditions for a class of functions to be definable by such equations, and show that for certain choices of clones these conditions are also sufficient.
Keywords
functional equations; set theory; equational definability; fixed arity function; function class; functional equation; Boolean functions; Cloning; Equations; Presses; Vectors;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
Conference_Location
Tuusula
ISSN
0195-623X
Print_ISBN
978-1-4577-0112-2
Electronic_ISBN
0195-623X
Type
conf
DOI
10.1109/ISMVL.2011.19
Filename
5954230
Link To Document