From Separation Logic to First-Order Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2005

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

логика первого порядка

программный

сводимость

Стр.:

P.395-409

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

Bibliogr.: p.407-409

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Lecture Notes in Computer Science

Том:

3441

Карточка:

Б2.14.

Calcagno Ch., Gardner Ph., Hague M..

From Separation Logic to First-Order Logic-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3441.-P.395-409-(Lecture Notes in Computer Science).
Bibliogr.: p.407-409

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

PAP30 9