Электронный архив

МОНАДИЧЕСКИЕ ТЕОРИИ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ПРИ АСИНХРОННО АВТОМАТНЫХ ПРЕОБРАЗОВАНИЯХ // Ученые записки КФУ. Физико-математические науки 2012 N2

Показать сокращенную информацию

dc.contributor.author Корнеева Наталья Николаевна
dc.date.accessioned 2015-06-04T10:00:36Z
dc.date.available 2015-06-04T10:00:36Z
dc.date.issued 2012
dc.identifier.issn 1815-6088
dc.identifier.uri http://dspace.kpfu.ru/xmlui/handle/net/19943
dc.description.abstract Доказано, что свойство разрешимости монадических теорий бесконечных последовательностей сохраняется при асинхронно автоматных преобразованиях. Получен критерий разрешимости монадической теории полной последовательности.
dc.publisher Казанский (Приволжский) федеральный университет
dc.relation.ispartofseries Ученые записки КФУ. Физико-математические науки
dc.subject.other автоматные преобразования
dc.subject.other монадические теории
dc.subject.other полные последовательности
dc.title МОНАДИЧЕСКИЕ ТЕОРИИ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ПРИ АСИНХРОННО АВТОМАТНЫХ ПРЕОБРАЗОВАНИЯХ // Ученые записки КФУ. Физико-математические науки 2012 N2
dc.type Article
dc.relation.ispartofseries-issue 2
dc.collection Периодические издания КФУ
dc.relation.startpage 117
dc.source.id ELIB18156088-2012-2-12


Файлы в этом документе

Данный элемент включен в следующие коллекции

Показать сокращенную информацию

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика