Overlap Closures do not suffice for termination of general term rewriting systems

Вы здесь

Автор:

Zhang X.

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

Вид:

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

Год:

1990

Стр.:

P.9-11

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

Bibliogr.: p.11

Источник:

Information Processing Letters

Номер:

Том:

Карточка:

Б2.34.

Zhang X..

Overlap Closures do not suffice for termination of general term rewriting systems// Information Processing Letters-1990, №1.-Vol. 37.-P.9-11
Bibliogr.: p.11

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

PAP1 331