Рекурсивные схемы: преобразования и отношения эквивалентности | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Сабельфельд В. К.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

рекурсивный

эквивалентность

преобразование

Стр.:

С.52-95

Выпуск:

4

Библиография:

Библиогр.: c.94-95

Место издания:

Новосибирск

Серия:

Системная информатика

Источник:

Методы теоретического и системного программирования

Карточка:

Б2.21.

Сабельфельд В. К..

Рекурсивные схемы: преобразования и отношения эквивалентности-Новосибирск.// Методы теоретического и системного программирования, 1995.-С.52-95-(Системная информатика, Вып.4).
Библиогр.: c.94-95

Таблица в старой библиотеке:

PAP13 400