Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems

Вы здесь

Автор:

Rao M.R.K. K.

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

Вид:

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

Год:

1995

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

иерархический

система

перезапись

Стр.:

P.379-393.

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

Bibliogr.: p.392-393.

Источник:

Lecture Notes in Computer Science

Том:

915

Карточка:

Б2.3.

Rao M.R.K. K..

Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems// Lecture Notes in Computer Science-1995.-Vol. 915.-P.379-393.
Bibliogr.: p.392-393.

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

PAP11 893