Intercalation lemmas for tree transducer languages

From MaRDI portal
Publication:1237574