Learning regular tree languages from correction and equivalence queries

From MaRDI portal
Publication:3515225