Detail publikace
Computational Simulation Formalized by String-Relation Systems
ŠVEC Martin. Computational Simulation Formalized by String-Relation Systems. In: Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004. STU. Bratislava: Slovenská technická univerzita v Bratislavě, 2004, s. 544-547. ISBN 80-227-2057-7.
Název česky
Formalizace výpočetních simulací na základě řetězcově-relačních systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švec Martin, Ing. (UIFS FIT VUT)
Klíčová slova
formální modely, ekvivalence, simulace
Abstrakt
Článek formalizuje a studuje podobnost přepisovacích procesů v modelech formálních jazyků
Rok
2004
Strany
544-547
Sborník
Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004
Řada
STU
Konference
Student EEICT 2004, Bratislava, SK
ISBN
80-227-2057-7
Vydavatel
Slovenská technická univerzita v Bratislavě
Místo
Bratislava, SK
BibTeX
@INPROCEEDINGS{FITPUB7500, author = "Martin \v{S}vec", title = "Computational Simulation Formalized by String-Relation Systems", pages = "544--547", booktitle = "Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004", series = "STU", year = 2004, location = "Bratislava, SK", publisher = "Slovak University of Technology in Bratislava", ISBN = "80-227-2057-7", language = "english", url = "https://www.fit.vut.cz/research/publication/7500" }