Publication Details

Extensible Type System for Term Graphs Rewriting

BENEŠ Miroslav and HRUŠKA Tomáš. Extensible Type System for Term Graphs Rewriting. In: Proceedings of the Black Sea InfoTech 95 Conference. Varna: unknown, 1995, pp. 1-5. ISBN 954-8490-03-X.

Type

conference paper

Language

english

Authors

Beneš Miroslav, Dr. Ing. (DCSE FEECS BUT)
Hruška Tomáš, Prof. Ing., CSc. (DCSE FEECS BUT)

Keywords

graph grammar, graph rewriting

Published

1995

Pages

1-5

Proceedings

Proceedings of the Black Sea InfoTech 95 Conference

ISBN

954-8490-03-X

Place

Varna, BG

BibTeX

@INPROCEEDINGS{FITPUB5952,
   author = "Miroslav Bene\v{s} and Tom\'{a}\v{s} Hru\v{s}ka",
   title = "Extensible Type System for Term Graphs Rewriting",
   pages = "1--5",
   booktitle = "Proceedings of the Black Sea InfoTech 95 Conference",
   year = 1995,
   location = "Varna, BG",
   ISBN = "954-8490-03-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5952"
}