Publication detail

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M.

Original Title

Computational Simulation Formalized by String-Relation Systems

Type

conference paper

Language

English

Original Abstract

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

Keywords

formal models, equivalence, simulation

Authors

ŠVEC, M.

RIV year

2004

Released

20. 4. 2004

Location

Ostrava

ISBN

80-85988-99-2

Book

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

Edition

MARQ

Pages from

147

Pages to

153

Pages count

7

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