Ученые записки Казанского университета. Серия Физико-математические науки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Ученые записки Казанского университета. Серия Физико-математические науки, 2012, том 154, книга 2, страницы 117–124 (Mi uzku1124)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Монадические теории последовательностей при асинхронно автоматных преобразованиях

Н. Н. Корнеева

Отдел алгебры и математической логики Казанского (Приволжского) федерального университета
PDF полного текста (204 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Доказано, что свойство разрешимости монадических теорий бесконечных последовательностей сохраняется при асинхронно автоматных преобразованиях. Получен критерий разрешимости монадической теории полной последовательности.
Ключевые слова: автоматные преобразования, монадические теории, полные последовательности.
Поступила в редакцию: 16.02.2012
Тип публикации: Статья
УДК: 519.71
Образец цитирования: Н. Н. Корнеева, “Монадические теории последовательностей при асинхронно автоматных преобразованиях”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 154, № 2, Изд-во Казанского ун-та, Казань, 2012, 117–124
Цитирование в формате AMSBIB
\RBibitem{Kor12}
\by Н.~Н.~Корнеева
\paper Монадические теории последовательностей при асинхронно автоматных преобразованиях
\serial Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки
\yr 2012
\vol 154
\issue 2
\pages 117--124
\publ Изд-во Казанского ун-та
\publaddr Казань
\mathnet{http://mi.mathnet.ru/uzku1124}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/uzku1124
  • https://www.mathnet.ru/rus/uzku/v154/i2/p117
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Ученые записки Казанского университета. Серия Физико-математические науки
    Статистика просмотров:
    Страница аннотации:418
    PDF полного текста:148
    Список литературы:74
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024