|
Ariola, Zena M. Bisimilarity in term graph rewriting [Text] : монография / Zena M. Ariola, J. W. Klop, D. Plump. - Amsterdam : [Б.и.], 1998. - 22 c. : ил. - (Report. SEN : software engineering / Centrum voor wiskunde en informatica, ISSN 1386-369X ; SEN-R9801). - ^aБиблиогр. : с. 21-22. - Б. ц. ; Парал. загл. сер. : гол. Перевод заглавия: 0 ^aБиподобие в перезаписи графа терма.
Перевод заглавия: 0 ^aБиподобие в перезаписи графа терма.
Доп.точки доступа: Klop, J.W.; Plump, D.
Свободных экз. нет
|
|