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...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
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