Вы здесь

The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.250-265
Библиография: 
Bibliogr.: p.263-265
Место издания: 
Издательство: 
Карточка: 

Б2.14.

Devienne P., Lebegue P., Routier J. -C..

The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable-Cambridge.: The MIT Press// Logic Programming: Proc./1993 Intern. Symp., 1993.-P.250-265
Bibliogr.: p.263-265

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