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