The minimalization of tree automata

From MaRDI portal
Publication:5570935