Detail publikace

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M.

Originální název

Computational Simulation Formalized by String-Relation Systems

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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

Klíčová slova

formal models, equivalence, simulation

Autoři

ŠVEC, M.

Rok RIV

2004

Vydáno

20. 4. 2004

Místo

Ostrava

ISBN

80-85988-99-2

Kniha

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

Edice

MARQ

Strany od

147

Strany do

153

Strany počet

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