Publication result detail

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M.

Original Title

Computational Simulation Formalized by String-Relation Systems

English Title

Computational Simulation Formalized by String-Relation Systems

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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

English abstract

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

Keywords

formal models, equivalence, simulation

Key words in English

formal models, equivalence, simulation

Authors

ŠVEC, M.

Released

20.04.2004

Publisher

Marq software s.r.o.

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-99-2"
}