On equational definability of function classes - Archive ouverte HAL
Article Dans Une Revue Journal of Multiple-Valued Logic and Soft Computing Année : 2015

On equational definability of function classes

Résumé

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 aclass of functions to be definable by such equations, and show that for certain choices of clones these conditions are also sufficient.
Fichier principal
Vignette du fichier
OnEquational.pdf (300.94 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01093668 , version 1 (18-02-2017)

Identifiants

  • HAL Id : hal-01093668 , version 1

Citer

Miguel Couceiro, Erkko Lehtonen, Tamas Waldhauser. On equational definability of function classes. Journal of Multiple-Valued Logic and Soft Computing, 2015, 24 (1–4), pp.203-222. ⟨hal-01093668⟩
214 Consultations
128 Téléchargements

Partager

More