On abstract data types presented by multiequations

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	ADÁMEK J. HÉBERT M. ROSICKÝ J.
Year of publication	2002
Type	Article in Periodical
Magazine / Source	Theoretical Computer Science
MU Faculty or unit	Faculty of Science
Citation
Field	General mathematics
Keywords	abstract data type; multiequation
Description	Equational presentation of abstract data types is generalized to presentation by multiequations, i.e., exclusive-or's of equations, in order to capture parametric data types such as array or set. Multiinitial-algebra sematics for such data types is introduced. Classes of algebras described by multiequations are characterized.
Related projects:	Categorical methods of the theory of structures and computer Mathematical structures of algebra and geometry