КФУ. Карточка публикации. Marat M. Arslanov, Steffen Lempp, eds. Recursion Theory and Complexity.

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

MARAT M. ARSLANOV, STEFFEN LEMPP, EDS. RECURSION THEORY AND COMPLEXITY.

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

Зарубежные монографии

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

1999

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

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

Другие авторы

Lempp Steffen

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

Marat M. Arslanov, Steffen Lempp, eds. Recursion Theory and Complexity, de Gruyter Series in Logic and Its Applications. Proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997. Walter de Gruyter, Berlin, New York, 1999.

Аннотация

Proceedings of the Kazan'97 Worskhop, Kazan, Russia, July 14-19, 1997

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

вычислимые и невычислимые функции, машины Тьюринга, степени неразрешимости, сводимости по Тбрингу, сводимости по перечислимости

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Арсланов Марат Мирзаевич	ru_RU
dc.date.accessioned	1999-01-01T00:00:00Z	ru_RU
dc.date.available	1999-01-01T00:00:00Z	ru_RU
dc.date.issued	1999	ru_RU
dc.identifier.citation	Marat M. Arslanov, Steffen Lempp, eds. Recursion Theory and Complexity, de Gruyter Series in Logic and Its Applications. Proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997. Walter de Gruyter, Berlin, New York, 1999.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=78715	ru_RU
dc.description.abstract	Proceedings of the Kazan'97 Worskhop, Kazan, Russia, July 14-19, 1997	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	вычислимые и невычислимые функции	ru_RU
dc.subject	машины Тьюринга	ru_RU
dc.subject	степени неразрешимости	ru_RU
dc.subject	сводимости по Тбрингу	ru_RU
dc.subject	сводимости по перечислимости	ru_RU
dc.title	Marat M. Arslanov, Steffen Lempp, eds. Recursion Theory and Complexity.	ru_RU
dc.type	Зарубежные монографии	ru_RU