Functional equations, constraints, definability of function classes, and functions of Boolean variables
The paper deals with classes of functions of several variables defined on an arbitrary set A and taking values in a possibly different set B. Definability of function classes by functional equations is shown to be equivalent to definability by relational constraints, generalizing a fact established...
Elmentve itt :
Szerzők: |
Couceiro Miguel Foldes Stephan |
---|---|
Testületi szerző: | Kalmár Workshop on Logic in Computer Science (2003) (Szeged) |
Dokumentumtípus: | Cikk |
Megjelent: |
2007
|
Sorozat: | Acta cybernetica
18 No. 1 |
Kulcsszavak: | Számítástechnika, Kibernetika |
Tárgyszavak: | |
Online Access: | http://acta.bibl.u-szeged.hu/12804 |
Hasonló tételek
-
On equational definability of function classes
Szerző: Couceiro Miguel, et al.
Megjelent: (2015) -
A method for minimizing partially defined Boolean functions
Szerző: Móricz Ferenc, et al.
Megjelent: (1979) -
On a minimization algorithm for Boolean functions
Szerző: Móricz Ferenc
Megjelent: (1971) -
A note on symmetric Boolean functions
Szerző: Ecsedi-Tóth Péter, et al.
Megjelent: (1977) -
Locally monotone Boolean and pseudo-Boolean functions
Szerző: Couceiro Miguel, et al.
Megjelent: (2012)