Extended to multi-tilde-bar regular expressions and efficient finite automata constructions

From MaRDI portal
Publication:491616