A Proof of Higman s Lemma by Open Induction

Вы здесь

Автор:

Geser A.

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

Колл. автор:

Univ.Passau

Вид:

Препринт

Год:

1996

Стр.:

14 p.

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

Bibliogr.: p.10.

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

Passau

Серия:

Lecture Notes in Computer Science

Номер:

MIP-9606

Карточка:

В2.11.

Geser A..

A Proof of Higman s Lemma by Open Induction-Passau., 1996.-14 p.-(Препринт Univ.Passau №MIP-9606).-(Lecture Notes in Computer Science).
Bibliogr.: p.10.

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

PREP2 354