Intersection of \(-\omega \)-regular expressions (Q2058685)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Intersection of \(-\omega \)-regular expressions |
scientific article; zbMATH DE number 7441871
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intersection of \(-\omega \)-regular expressions |
scientific article; zbMATH DE number 7441871 |
Statements
Intersection of \(-\omega \)-regular expressions (English)
0 references
9 December 2021
0 references
left-infinite word
0 references
\(-\omega \)-regular expression
0 references
simple \(-\omega \)-regular expression
0 references
\(-\omega \)-expansion
0 references
*-expansion
0 references
tree of intersections
0 references
0 references
0.85360014
0 references
0.8433899
0 references
0.83423376
0 references
0.8342335
0 references
0 references
0 references
0.82217425
0 references
0.8151437
0 references
