Constructing a -ω-regular expression specified by an elementary extensions graph
Saved in:
| Date: | 2022 |
|---|---|
| Main Author: | A. M. Chebotarov |
| Format: | Article |
| Language: | English |
| Published: |
2022
|
| Series: | Cybernetics and Systems Analysis |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0001313056 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
-
Intersection of ω-regular expressions
by: A. M. Chebotarov
Published: (2021) -
From LP formulas of the form F(T) to k -ω-regular expressions
by: A. N. Chebotarev
Published: (2020) -
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
by: A. N. Chebotarev
Published: (2018) -
Construction of Lyapunov Functions in the Theory of Regular Linear Extensions of Dynamical Systems on a Torus
by: V. L. Kulyk
Published: (2015) -
An extension of the essential graph of a ring
by: Ali, Asma, et al.
Published: (2024)