An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification

Вы здесь

Автор:

Magnusson L.

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

Вид:

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

Год:

1996

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

тип

теория

унификация

Стр.:

P.183-200.

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

Bibliogr.: p.200.

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

1158

Карточка:

Б2.1, В2.11.

Magnusson L..

An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification: Springer// Lecture Notes in Computer Science-1996.-Vol. 1158.-P.183-200.
Bibliogr.: p.200.

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

PAP15 768