Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis

Вы здесь

Автор:

Tatsuta M.

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

Вид:

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

Год:

1998

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

синтез

программа

логика

Стр.:

P.338-364.

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

Bibliogr.: p.357-358

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

1422

Карточка:

Б2.1, Б3.21.

Tatsuta M..

Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis: Springer// Lecture Notes in Computer Science-1998.-Vol. 1422.-P.338-364.
Bibliogr.: p.357-358

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

PAP18 141