Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švec Martin, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

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

Klíčová slova

formal models, equivalence, simulation

Rok
2004
Strany
147–153
Sborník
Proceedings of the 7th International Conference on Information Systems Implementation and Modelling (ISIM '04)
Řada
MARQ
Konference
7th International Conference on Information Systems Implementation and Modelling
ISBN
80-85988-99-2
Vydavatel
Marq software s.r.o.
Místo
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"
}
Projekty
Optimally Integrated Models of Modern Information Technologies, GAČR, Standardní projekty, GA201/04/0441, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru