Вы здесь

Automatic Termination Analysis for Partial Functions Using Polynomial Orderings

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.330-344.
Библиография: 
Bibliogr.: p.344
Том: 
1302
Карточка: 

Б2.23, Б2.33.

Brauburger J..

Automatic Termination Analysis for Partial Functions Using Polynomial Orderings// Lecture Notes in Computer Science-1997.-Vol. 1302.-P.330-344.
Bibliogr.: p.344

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