Вы здесь

A New Method for Proving Termination of AC-Rewrite Systems

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
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