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