KFU. Card publication. The Least ∑-jump Inversion Theorem for n-families

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

THE LEAST ∑-JUMP INVERSION THEOREM FOR N-FAMILIES

Form of presentation

Articles in international journals and collections

Year of publication

2017

Язык

английский

Authors, employees of KFU

Kalimullin Iskander Shagitovich, author

Fayzrakhmanov Marat Khaydarovich, author

Other authors

Montalban Antonio , author

Puzarenko Vadim Grigorevich, author

Bibliographic description in the original language

Faizrahmanov M., Kalimullin I., Montalban A., Puzarenko V. The Least ∑-jump Inversion Theorem for n-families // Journal of Universal Computer Science. - 2017. - V. 23, № 6. - P. 529-538.

Keywords

jump of structure, enumeration jump, Σ-jump, Σ-reducibility, countable family, n-family

The name of the journal

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

URL

http://www.jucs.org/jucs_23_6/the_least_sigma_jump

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=163281&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Kalimullin Iskander Shagitovich	ru_RU
dc.contributor.author	Fayzrakhmanov Marat Khaydarovich	ru_RU
dc.contributor.author	Montalban Antonio	ru_RU
dc.contributor.author	Puzarenko Vadim Grigorevich	ru_RU
dc.date.accessioned	2017-01-01T00:00:00Z	ru_RU
dc.date.available	2017-01-01T00:00:00Z	ru_RU
dc.date.issued	2017	ru_RU
dc.identifier.citation	Faizrahmanov M., Kalimullin I., Montalban A., Puzarenko V. The Least ∑-jump Inversion Theorem for n-families // Journal of Universal Computer Science. - 2017. - V. 23, № 6. - P. 529-538.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=163281&p_lang=2	ru_RU
dc.description.abstract	JOURNAL OF UNIVERSAL COMPUTER SCIENCE	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	jump of structure	ru_RU
dc.subject	enumeration jump	ru_RU
dc.subject	Σ-jump	ru_RU
dc.subject	Σ-reducibility	ru_RU
dc.subject	countable family	ru_RU
dc.subject	n-family	ru_RU
dc.title	The Least ∑-jump Inversion Theorem for n-families	ru_RU
dc.type	Articles in international journals and collections	ru_RU