Зведений каталог бібліотек Миколаєва
51+681.3Шевченко, Р. С. N-исчисление - реалистичная формализация класса переписывающих систем [Текст] / Р.С. Шевченко, А.Е. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-11.
- Ключові слова:
- Анотація:
Предложен новый формализм типизированного n-исчисления в качестве теоретической основы для построения специальных классов систем программирования на основе переписывающих правил.
- Є складовою частиною документа:
Проблеми програмування (ч/з) [Текст] : наук. журн. — К. : Ін-т програмних систем НАН України.
