Pages that link to "Item:Q1798916"
From MaRDI portal
The following pages link to Büchi VASS recognise \(\mathbf{\Sigma}^{1}_{1}\)-complete \({\omega}\)-languages (Q1798916):
Displayed 2 items.
The following pages link to Büchi VASS recognise \(\mathbf{\Sigma}^{1}_{1}\)-complete \({\omega}\)-languages (Q1798916):
Displayed 2 items.