Výpočetní simulace a jejich formalizace na základě řetězcově-relačních systémů
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Computational Simulation Formalized by String-Relation Systems
Popis výsledku v původním jazyce
The paper formalizes and studies the similarity of rewriting processes in formal language models.
Název v anglickém jazyce
Computational Simulation Formalized by String-Relation Systems
Popis výsledku anglicky
The paper formalizes and studies the similarity of rewriting processes in formal language models.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F04%2F0441" target="_blank" >GA201/04/0441: Vhodně sloučené modely pro moderní informační technologie</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2004
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)
ISBN
80-85988-99-2
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
147-153
Název nakladatele
NEUVEDEN
Místo vydání
Ostrava
Místo konání akce
Rožnov pod Radhošťem
Datum konání akce
19. 4. 2004
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—