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.

Vydáno

18. 6. 2004

Nakladatel

Slovak University of Technology in Bratislava

Místo

Bratislava

ISBN

80-227-2057-7

Kniha

Proceedings of the International Conference and Competition of Student's Scientific Works STUDENT EEICT 2004

Edice

STU

Strany od

544

Strany do

547

Strany počet

4

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