Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity

From MaRDI portal
(Redirected from Publication:2022308)