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"
}
Nahoru