Další formáty:
BibTeX
LaTeX
RIS
@article{403727,
author = {Adámek, J. and Hébert, M. and Rosický, J.},
article_number = {275},
keywords = {abstract data type; multiequation},
language = {eng},
issn = {0304-3975},
journal = {Theoretical Computer Science},
title = {On abstract data types presented by multiequations},
volume = {2002},
year = {2002}
}
TY - JOUR
ID - 403727
AU - Adámek, J. - Hébert, M. - Rosický, J.
PY - 2002
TI - On abstract data types presented by multiequations
JF - Theoretical Computer Science
VL - 2002
IS - 275
SP - 427
EP - 427
PB - Elsevier
SN - 03043975
KW - abstract data type
KW - multiequation
N2 - 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.
ER -
ADÁMEK, J., M. HÉBERT a J. ROSICKÝ. On abstract data types presented by multiequations. \textit{Theoretical Computer Science}. Elsevier, 2002, roč.~2002, č.~275, s.~427-462. ISSN~0304-3975.
|
