Type checking of tree walking transducers
From MaRDI portal
Publication:4907863
DOI10.1142/9789814271059_0011zbMATH Open1256.68106OpenAlexW2404359670MaRDI QIDQ4907863FDOQ4907863
Authors: Sebastian Maneth, Sylvia Friese, Helmut Seidl
Publication date: 26 February 2013
Published in: Modern Applications of Automata Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/9789814271059_0011
Recommendations
Cited In (5)
- The time complexity of typechecking tree-walking tree transducers
- XML Type Checking Using High-Level Tree Transducer
- Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
- Title not available (Why is that?)
Uses Software
This page was built for publication: Type checking of tree walking transducers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907863)