Non-self-embedding linear context-free tree grammars generate regular tree languages

From MaRDI portal
Publication:5267521