Publication Details

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: Slovak University of Technology in Bratislava, 2004, pp. 544-547. ISBN 80-227-2057-7.

Czech title

Formalizace výpočetních simulací na základě řetězcově-relačních systémů

Type

conference paper

Language

english

Authors

Švec Martin, Ing. (DIFS FIT BUT)

Keywords

formal models, equivalence, simulation

Abstract

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

Published

2004

Pages

544-547

Proceedings

Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004

Series

STU

Conference

Student EEICT 2004, Bratislava, SK

ISBN

80-227-2057-7

Publisher

Slovak University of Technology in Bratislava

Place

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