|
Труды ордена Ленина Математического института имени В. А. Стеклова, 1973, том 129, страницы 30–202
(Mi tm3173)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Распознавание предиката симметрии многоголовчатыми машинами Тьюринга со входом
А. О. Слисенко
Аннотация:
В работе доказано, что предикат симметрии распознается некоторой шестиголовчатой
машиной Тьюринга со входом в реальное время. Илл. – 19, табл. – 9, библ. – 5 назв.
Образец цитирования:
А. О. Слисенко, “Распознавание предиката симметрии многоголовчатыми машинами Тьюринга со входом”, Проблемы конструктивного направления в математике. 6, Тр. МИАН СССР, 129, 1973, 30–202; Proc. Steklov Inst. Math., 129 (1973), 25–208
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm3173 https://www.mathnet.ru/rus/tm/v129/p30
|
Статистика просмотров: |
Страница аннотации: | 178 | PDF полного текста: | 275 |
|