Result Details

Computational Simulation Formalized by String-Relation Systems

ŠVEC, M. Computational Simulation Formalized by String-Relation Systems. Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04). MARQ. Ostrava: Marq software s.r.o., 2004. p. 147-153. ISBN: 80-85988-99-2.
Type
conference paper
Language
English
Authors
Švec Martin, Ing., Ph.D., FIT (FIT), DIFS (FIT)
Abstract

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

Keywords

formal models, equivalence, simulation

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
ISBN
80-85988-99-2
Publisher
Marq software s.r.o.
Place
Ostrava
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"
}
Projects
Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed
Departments
Department of Information Systems (DIFS)
Back to top