Р80391
Сабельфельд, В. К.
Анализ свойств рекурсивных схем и проблема древесной эквивалентности [Текст] / В. К. Сабельфельд. - Новосибирск : [б.в.], 1994. - 42 с. - (Препр. / РАН. СО, Институт систем информатики ; 26)

Рубрикатор НБУВ:
 В127.1 
Тематичні рубрики:
 Конструктивний та рекурсивний а аналіз 


Дод. точки доступу:
РАН. СО; Институт систем информатики

Видання зберігається у :
Основний фонд