Вы здесь

Modularity of Simple Termination of term Rewritin Systems with Shared Constructors

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.273-282.
Библиография: 
Bibliogr.: p.282.
Источник: 
Номер: 
2
Том: 
103
Карточка: 

Б2.34, Б2.23.

Kurihara M., Ohuchi A..

Modularity of Simple Termination of term Rewritin Systems with Shared Constructors// Theoretical Computer Science-1992, №2.-Vol. 103.-P.273-282.
Bibliogr.: p.282.

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