Constraint-Based Termination Analysis of Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Vandecasteele H.

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

1

Вид:

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

Год:

1999

Ключевые слова:

логическое программирование

верификация

Стр.:

P.1137-1195.

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

Bibliogr.: p.1193-1195

Источник:

ACM Trans. on Programming Languages and Systems

Номер:

6

Том:

21

Карточка:

В2.11.

Decorte S., De Schreye D., Vandecasteele H..

Constraint-Based Termination Analysis of Logic Programs// ACM Trans. on Programming Languages and Systems-1999, №6.-Vol. 21.-P.1137-1195.
Bibliogr.: p.1193-1195

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

ACM6 351