Aceto, L.     A complete equational axiomatization for MPA with string iteration [Text] : монография / L. Aceto, Jan Friso Groote. - Amsterdam : [Б.и.], 1997. - 30 c. - (Report. SEN : software engineering / Centrum voor wiskunde en informatica, ISSN 1386-369X ; SEN-R9708). - ^aБиблиогр. : с. 28-30. - Б. ц. ; Парал. загл. сер. : гол. Перевод заглавия: 0 ^aПолная эквациональная аксиоматизация для минимальной алгебры процесса с итерацией строк.    Перевод заглавия: 0 ^aПолная эквациональная аксиоматизация для минимальной алгебры процесса с итерацией строк. ГРНТИ ^a27.03.17 ^a28.25 УДК ^a510.58 ^a519.713.1 Доп.точки доступа: Groote, Jan Friso Свободных экз. нет