Computing the Rabin Index of a Parity Automaton (Q4953338)
From MaRDI portal
scientific article; zbMATH DE number 1444295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing the Rabin Index of a Parity Automaton |
scientific article; zbMATH DE number 1444295 |
Statements
Computing the Rabin Index of a Parity Automaton (English)
0 references
9 April 2001
0 references
Rabin index
0 references
parity automaton
0 references
