Computing the rabin index of a regular language of infinite words

From MaRDI portal
Publication:675222