КФУ. Карточка публикации. Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.

RUS

- EN
- 中文
- ES

DEFINABLE RELATIONS IN TURING DEGREE STRUCTURES// МАТЕРИАЛЫ МЕЖДУНАРОДНОЙ КОНФЕРЕНЦИИ "АЛГЕБРА И МАТЕМАТИЧЕСКАЯ ЛОГИКА: ТЕОРИЯ И ПРИЛОЖЕНИЯ", К(П)ФУ, КАЗАНЬ, 2-6 ИЮНЯ 2014, С. 22 Г.

Форма представления

Статьи в российских журналах и сборниках

Год публикации

2014

Язык

русский

Авторы, сотрудники КФУ

Арсланов Марат Мирзаевич, автор

Библиографическое описание на языке оригинала

Arslanov M.M. Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.

Аннотация

Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014

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

определимость, разрешимость, ограниченные теории

Название журнала

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=117117

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Арсланов Марат Мирзаевич	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	Arslanov M.M. Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=117117	ru_RU
dc.description.abstract	Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014	ru_RU
dc.description.abstract	Найдены необходимые и достаточные условия для определимости ряда отношений	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	определимость	ru_RU
dc.subject	разрешимость	ru_RU
dc.subject	ограниченные теории	ru_RU
dc.title	Definable relations in Turing degree structures// Материалы международной конференции "Алгебра и математическая логика: теория и приложения", К(П)ФУ, Казань, 2-6 июня 2014, с. 22 г.	ru_RU
dc.type	Статьи в российских журналах и сборниках	ru_RU