Detail publikace

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M. 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: Slovak University of Technology in Bratislava, 2004. p. 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
anglicky
Autoři
Švec Martin, Ing., Ph.D.
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
ISBN
80-227-2057-7
Vydavatel
Slovak University of Technology in Bratislava
Místo
Bratislava
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"
}
Nahoru