Büchi VASS recognise \(\mathbf{\Sigma}^{1}_{1}\)-complete \({\omega}\)-languages (Q1798916)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6963055
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Büchi VASS recognise \(\mathbf{\Sigma}^{1}_{1}\)-complete \({\omega}\)-languages |
scientific article; zbMATH DE number 6963055 |
Statements
Büchi VASS recognise \(\mathbf{\Sigma}^{1}_{1}\)-complete \({\omega}\)-languages (English)
0 references
23 October 2018
0 references
Petri nets
0 references
infinite words
0 references
nondeterminism
0 references
0.7633660435676575
0 references
0.7529067993164062
0 references
0.7417845726013184
0 references
0.7417436242103577
0 references
