The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

Стр.:

P.250-265

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

Bibliogr.: p.263-265

Место издания:

Издательство:

Источник:

Logic Programming: Proc./1993 Intern. Symp.

Карточка:

Б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