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

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

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


Изв. вузов. Матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия высших учебных заведений. Математика, 2010, номер 1, страницы 34–58 (Mi ivm6551)  
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Взвешенные автоматы и взвешенная логика на бесконечных словах

М. Дростеa, Г. Рахонисb

a Кафедра компьютерных наук, Университет Лейпцига, Лейпциг, Германия
b Математический факультет, Университет Аристотеля в Салониках, Салоники, Греция
PDF полного текста (328 kB) Список цитирования (4)
Список литературы:
PDF
HTML
Аннотация: Вводятся взвешенные автоматы над бесконечными словами с принимающим условием Мюллера. Показывается, что поведение таких автоматов совпадает с семантикой взвешенных ограниченных высказываний монадической логики второго порядка, и устанавливается эквивалентность взвешенных автоматов Мюллера и Бюхи над некоторыми полукольцами.
Ключевые слова: взвешенная логика, взвешенные автоматы Мюллера, инфинитарные формальные степенные ряды, взвешенные автоматы Бюхи.
Поступила: 20.03.2007
Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2010, Volume 54, Issue 1, Pages 26–45
DOI: https://doi.org/10.3103/S1066369X10010044
Реферативные базы данных:
УДК: 519.766+519.713
Образец цитирования: М. Дросте, Г. Рахонис, “Взвешенные автоматы и взвешенная логика на бесконечных словах”, Изв. вузов. Матем., 2010, № 1, 34–58; Russian Math. (Iz. VUZ), 54:1 (2010), 26–45
Цитирование в формате AMSBIB
\RBibitem{DroRah10}
\by М.~Дросте, Г.~Рахонис
\paper Взвешенные автоматы и взвешенная логика на бесконечных словах
\jour Изв. вузов. Матем.
\yr 2010
\issue 1
\pages 34--58
\mathnet{http://mi.mathnet.ru/ivm6551}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=2664484}
\zmath{https://zbmath.org/?q=an:1184.68314}
\transl
\jour Russian Math. (Iz. VUZ)
\yr 2010
\vol 54
\issue 1
\pages 26--45
\crossref{https://doi.org/10.3103/S1066369X10010044}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-78349273844}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivm6551
  • https://www.mathnet.ru/rus/ivm/y2010/i1/p34
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025