Computational Simulation Formalized by String-Relation Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49112" target="_blank" >RIV/00216305:26230/04:PU49112 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Computational Simulation Formalized by String-Relation Systems
Original language description
The paper formalizes and studies the similarity of rewriting processes in formal language models.
Czech name
Výpočetní simulace a jejich formalizace na základě řetězcově-relačních systémů
Czech description
Článek formalizuje a studuje podobnost přepisovacích procesů v modelech formálních jazyků.<br>
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F04%2F0441" target="_blank" >GA201/04/0441: Optimally integrated models of modern information technologies</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2004
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
Article name in the collection
Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)
ISBN
80-85988-99-2
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
147-153
Publisher name
NEUVEDEN
Place of publication
Ostrava
Event location
Rožnov pod Radhošťem
Event date
Apr 19, 2004
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—