Корнеева Наталья Николаевна
(Казанский (Приволжский) федеральный университет, 2012)
Доказано, что свойство разрешимости монадических теорий бесконечных последовательностей сохраняется при асинхронно автоматных преобразованиях. Получен критерий разрешимости монадической теории полной последовательности.