Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠVEC, M.
Originální název
Computational Simulation Formalized by String-Relation Systems
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
The paper formalizes and studies the similarity of rewriting processes in formal language models
Klíčová slova
formal models, equivalence, simulation
Autoři
Vydáno
18. 6. 2004
Nakladatel
Slovak University of Technology in Bratislava
Místo
Bratislava
ISBN
80-227-2057-7
Kniha
Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004
Edice
STU
Strany od
544
Strany do
547
Strany počet
4
BibTex
@inproceedings{BUT17145, author="Martin {Švec}", title="Computational Simulation Formalized by String-Relation Systems", booktitle="Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004", year="2004", series="STU", pages="544--547", publisher="Slovak University of Technology in Bratislava", address="Bratislava", isbn="80-227-2057-7" }