ADÁMEK, J., M. HÉBERT a J. ROSICKÝ. On abstract data types presented by multiequations. Theoretical Computer Science. Elsevier, 2002, roč. 2002, č. 275, s. 427-462. ISSN 0304-3975.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On abstract data types presented by multiequations
Autoři ADÁMEK, J. (203 Česká republika), M. HÉBERT (124 Kanada) a J. ROSICKÝ (203 Česká republika, garant).
Vydání Theoretical Computer Science, Elsevier, 2002, 0304-3975.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10101 Pure mathematics
Stát vydavatele Nizozemské království
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.417
Kód RIV RIV/00216224:14310/02:00005781
Organizační jednotka Přírodovědecká fakulta
UT WoS 000175989300013
Klíčová slova anglicky abstract data type; multiequation
Štítky abstract data type, multiequation
Změnil Změnil: prof. RNDr. Jiří Rosický, DrSc., učo 2634. Změněno: 21. 5. 2003 14:29.
Anotace
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.
Návaznosti
GA201/96/0119, projekt VaVNázev: Kategoriální metody teorie struktur a informatiky
Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky
MSM 143100009, záměrNázev: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie
VytisknoutZobrazeno: 19. 9. 2024 05:13