A characterization of systolic binary tree automata and applications

From MaRDI portal
Publication:1055191