Derived-term automata of multitape expressions with composition

From MaRDI portal
Publication:4621213