Publication Details

Computational Simulation Formalized by String-Relation Systems

ŠVEC Martin. Computational Simulation Formalized by String-Relation Systems. In: Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04). MARQ. Ostrava, 2004, pp. 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. (DIFS FIT BUT)

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

Conference

7th International Conference on Information Systems Implementation and Modelling, Rožnov pod Radhošťem, CZ

ISBN

80-85988-99-2

Place

Ostrava, CZ

BibTeX

@INPROCEEDINGS{FITPUB7441,
   author = "Martin \v{S}vec",
   title = "Computational Simulation Formalized by String-Relation Systems",
   pages = "147--153",
   booktitle = "Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)",
   series = "MARQ",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-85988-99-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7441"
}