Constructing a -ω-regular expression specified by an elementary extensions graph
Збережено в:
Дата: | 2022 |
---|---|
Автор: | A. M. Chebotarov |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
2022
|
Назва видання: | Cybernetics and Systems Analysis |
Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0001313056 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Репозитарії
Library portal of National Academy of Sciences of Ukraine | LibNASСхожі ресурси
-
Intersection of ω-regular expressions
за авторством: A. M. Chebotarov
Опубліковано: (2021) -
From LP formulas of the form F(T) to k -ω-regular expressions
за авторством: A. N. Chebotarev
Опубліковано: (2020) -
An extension of the essential graph of a ring
за авторством: Ali, Asma, та інші
Опубліковано: (2024) -
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018) -
Construction of Lyapunov Functions in the Theory of Regular Linear Extensions of Dynamical Systems on a Torus
за авторством: V. L. Kulyk
Опубліковано: (2015)