Automata transformations of prefix decidable and decidable by Buchi superwords - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 021

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Automata transformations of prefix decidable and decidable by Buchi superwords

Дата публикации: 2016

Дата публикации в реестре: 2020-03-01T01:21:54Z

Аннотация:

Ключевые слова:
atom, automata transformation, decidability by Buchi, degrees, monadic theory, monadic theory, prefix decidability, superword

Тип: Article

Источник: SCOPUS1066369X-2016-60-7-SID84975862651

Другие версии документа

Automata transformations of prefix decidable and decidable by Buchi superwords

Связанные документы (рекомендация CORE)

Партнеры

КФУ

ТГУ

Elpub

СФУ

Webpublishers

Индексация

BASE

WorldCat

OpenAIRE

EDS

core