A New Approach to Determinisation Using Bit-Parallelism

From MaRDI portal
Publication:3525152