A Gandy Theorem for Abstract Structures and Applications to First-Order Definability | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Selivanov V. S.

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

1

Вид:

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

Год:

2009

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

определимость

теорема ганди

арифметика

абстрактный

структура

биинтерпретируемость

неподвижная точка

наименьший

теория вычислимости

Стр.:

P.290-299

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

Bibliogr.: p.299

Серия:

Lecture Notes in Computer Science

Источник:

Том:

5635

Карточка:

Б2.1.

Kudinov O. V., Selivanov V. S..

A Gandy Theorem for Abstract Structures and Applications to First-Order Definability// LNCS-2009.-Vol. 5635.-P.290-299-(Lecture Notes in Computer Science).
Bibliogr.: p.299

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

PAP31 591