Kazan Federal University Digital Repository

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

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account