Publication Details

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M. Computational Simulation Formalized by String-Relation Systems. Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04). MARQ. Ostrava: 2004. p. 147-153. ISBN: 80-85988-99-2.

Czech title

Výpočetní simulace a jejich formalizace 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

147–153

Proceedings

Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)

Series

MARQ

ISBN

80-85988-99-2

Place

Ostrava

BibTeX

@inproceedings{BUT16934,
  author="Martin {Švec}",
  title="Computational Simulation Formalized by String-Relation Systems",
  booktitle="Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)",
  year="2004",
  series="MARQ",
  pages="147--153",
  address="Ostrava",
  isbn="80-85988-99-2"
}