Graph Reducibility of Term Rewriting Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Krishna Rao M.R. K.

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

1

Вид:

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

Год:

1995

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

перезапись

система переписывания термов

Стр.:

P.371-381

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

Bibliogr.: p.381

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

Издательство:

Серия:

Lecture Notes in Computer Science

Источник:

Mathematical Foundations of Computer Science 1995

Том:

969

Карточка:

Б2.3.

Krishna Rao M.R. K..

Graph Reducibility of Term Rewriting Systems-Berlin, Heidelberg.: Springer// Mathematical Foundations of Computer Science 1995, 1995.-Vol. 969.-P.371-381-(Lecture Notes in Computer Science).
Bibliogr.: p.381

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

PAP13 380