Reference : On equational definability of function classes

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics
	To cite this reference:	http://hdl.handle.net/10993/3274

Title :	On equational definability of function classes
Language :	English
Author, co-author :	Couceiro, Miguel [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
	Lehtonen, Erkko [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Waldhauser, Tamás [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
Publication date :	2011
Main document title :	41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011)
Publisher :	IEEE Computer Society
Pages :	182-186
Peer reviewed :	Yes
On invitation :	No
Audience :	International
ISBN :	978-0-7695-4405-2
City :	Los Alamitos
Country :	CA
Event name :	41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011)
Event date :	23-25 May 2011
Event place (city) :	Tuusula
Event country :	Finland
Abstract :	[en] We propose a notion of functional equation for functions of 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.
Permalink :	http://hdl.handle.net/10993/3274
DOI :	10.1109/ISMVL.2011.19
Mentions required by the publisher for OA :	© © 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Commentary :	41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011)

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access EquationalISMVL2011.pdf Author postprint 266.07 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map