Зведений каталог бібліотек Харкова
Хачатрян, В. Е. Логико-термальная эквивалентность в классе схем над сильно невырожденным базисом [Текст] / В.Е. Хачатрян // Программирование. — 1977. — С. 20-27.
- Анотація:
В статье рассматривается стандартная схема - одна из широко известных моделей программы. Среди различных отношений эквивалентности, вводимых между стандартными схемами, выбрана логико-термальная эквиваленнтность.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 1977.
- Теми документа
