Detail publikace

Extensible Type System for Term Graphs Rewriting

BENEŠ Miroslav a HRUŠKA Tomáš. Extensible Type System for Term Graphs Rewriting. In: Proceedings of the Black Sea InfoTech 95 Conference. Varna: neznámá, 1995, s. 1-5. ISBN 954-8490-03-X.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Beneš Miroslav, Dr. Ing. (UIVT FEI VUT)
Hruška Tomáš, Prof. Ing., CSc. (UIVT FEI VUT)
Rok
1995
Strany
1-5
Sborník
Proceedings of the Black Sea InfoTech 95 Conference
ISBN
954-8490-03-X
Vydavatel
neznámá
Místo
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"
}
Nahoru