A New Method for Proving Termination of AC-Rewrite Systems

Вы здесь

Автор:

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

Вид:

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

Год:

1900

Стр.:

P.133-148.

Реферат:

Новый метод доказательства завершения ассоциативно-коммутативных подстановок.

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

Bibliogr.: p.147-148

Источник:

Том:

472

Карточка:

Б2.34.

Kapur D., Sivakumar G., Zhang H..

A New Method for Proving Termination of AC-Rewrite Systems// Lecture Notes in Computer Science-1900.-Vol. 472.-P.133-148.
Bibliogr.: p.147-148

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

PAP1 270