| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Вычислимые линейные порядки и линейно-упорядоченные структуры
|
|||
|
|
|||
|
Алгоритмические свойства отношений на вычислимых линейных порядках А. Н. Фролов |
|||
|
Аннотация: В докладе рассматривается ряд естественных отношений и их модификаций на вычислимых линейных порядках. Получены точные оценки тьюринговой сложности некоторых из них. Имеются некоторые связи с начальными сегментами вычислимых линейных порядков. |
|||