Equivalent Transformations of Recursion Schemes and Admissible Rewriting Rule Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Inst. of Informatics Systems

Вид:

Препринт

Год:

1993

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

рекурсивный

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

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

переписывание

Стр.:

24 p.

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

Bibliogr.: p.23.

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

Номер:

20

Карточка:

Б2.21, Б2.34.

Sabelfeld V..

Equivalent Transformations of Recursion Schemes and Admissible Rewriting Rule Systems-Novosibirsk., 1993.-24 p.-(Препринт Inst. of Informatics Systems №20).
Bibliogr.: p.23.

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

PREP1 948