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)
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" }