Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švec Martin, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

The paper formalizes and studies the similarity of rewriting processes in formal language models

Klíčová slova

formal models, equivalence, simulation

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
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"
}
Projekty
Optimally Integrated Models of Modern Information Technologies, GAČR, Standardní projekty, GA201/04/0441, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru