A Simple fixed point characterization of three-valued stable model semantics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

формальный

семантика

логический

программирование

Стр.:

P.73-78.

Источник:

Information Processing Letters

Номер:

2

Том:

40

Карточка:

Б2.24, Б3.21.

Bonnier S., Nilsson U., Naslund T..

A Simple fixed point characterization of three-valued stable model semantics// Information Processing Letters-1991, №2.-Vol. 40.-P.73-78.

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

PAP2 886