Detail publikace

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M. Computational Simulation Formalized by String-Relation Systems. 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
Konference
Student EEICT 2004, Bratislava, SK
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