Вы здесь

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Стр.: 
P.69-85
Библиография: 
Bibliogr.: p.84-85
Издательство: 
Том: 
2042
Карточка: 

Б2.23.

Serebrenik A., De Schreye D..

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings: Springer// Lecture Notes in Computer Science-2001.-Vol. 2042.-P.69-85
Bibliogr.: p.84-85

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