Publication Details

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.

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., Ph.D.

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

ISBN

80-227-2057-7

Publisher

Slovak University of Technology in Bratislava

Place

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