Inductive Definitions with Decidable Atomic Formulas

Вы здесь

Автор:

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

Вид:

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

Год:

1997

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

Стр.:

P.414-430.

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

Bibliogr.: p.429-430

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

Источник:

Том:

1258

Карточка:

Б2.1.

Setzer A..

Inductive Definitions with Decidable Atomic Formulas: Springer// Lecture Notes in Computer Science-1997.-Vol. 1258.-P.414-430.
Bibliogr.: p.429-430

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

PAP16 571