Determinacy and rewriting of functional top–down and MSO tree transformations☆
Under an Elsevier user license
open archive
Keywords
View–query determinacy
Top–down tree transducers
MSO definable tree transducers
Cited by (0)
- ☆
Benedikt and Maneth were supported by the Engineering and Physical Sciences Research Council project “Enforcement of Constraints on XML streams” (EPSRC EP/G004021/1).
© 2016 Elsevier Inc.