Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠVEC, M.
Original Title
Computational Simulation Formalized by String-Relation Systems
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
The paper formalizes and studies the similarity of rewriting processes in formal language models.
Keywords
formal models, equivalence, simulation
Authors
RIV year
2004
Released
20. 4. 2004
Location
Ostrava
ISBN
80-85988-99-2
Book
Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)
Edition
MARQ
Pages from
147
Pages to
153
Pages count
7
BibTex
@inproceedings{BUT16934, author="Martin {Švec}", title="Computational Simulation Formalized by String-Relation Systems", booktitle="Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)", year="2004", series="MARQ", pages="147--153", address="Ostrava", isbn="80-85988-99-2" }