On abstract data types presented by multiequations
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F02%3A00005781" target="_blank" >RIV/00216224:14310/02:00005781 - isvavai.cz</a>
Alternative codes found
RIV/68407700:21230/02:03079660
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
On abstract data types presented by multiequations
Original language 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.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Theoretical Computer Science
ISSN
0304-3975
e-ISSN
—
Volume of the periodical
2002
Issue of the periodical within the volume
275
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
36
Pages from-to
427
UT code for WoS article
—
EID of the result in the Scopus database
—