По вашему запросу найдено документов: 2253
Страница 1 из 226
Automata transformations of prefix decidable and decidable by Buchi superwords with decidable monadic theory (decidable by Buchi).
Automata transformations of prefix decidable and decidable by Buchi superwords with decidable monadic theory (decidable by Buchi).
The structure of degrees of finite-automaton transformations of prefix decidable superwords transformations of prefix decidable superwords does not form the upper semilattice.
The structure of degrees of finite-automaton transformations of prefix decidable superwords transformations of prefix decidable superwords does not form the upper semilattice.
Maslov's inverse method and decidable classesMaslov's inverse method and decidable classes
Temporal multi-valued logic with lost worlds in the past; that is, we consider not autonomous but cooperating agents. Satisfiability and decidability issues
Partial Decidable Presentations in Hyperarithmetic© 2019, Pleiades Publishing, Inc. We study the problem of the existence of decidable and positive Π
Maslov's inverse method and decidable classesMaslov's inverse method and decidable classes
On Classes of Regular Languages Related to Monotone WQOs of monotone well quasiorders to regular languages and ω-languages, concentrating on decidability
Страница 1 из 226
Фасеты
Партнеры
Индексация
