scientific article; zbMATH DE number 1200800
From MaRDI portal
Publication:4210160
Recommendations
Cited in
(41)- scientific article; zbMATH DE number 3858450 (Why is no real title available?)
- Macro forest transducers
- Deaccumulation techniques for improving provability
- Monadic Datalog Tree Transducers
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars
- The complexity of the exponential output size problem for top-down and bottom-up tree transducers
- Hierarchies of tree series transformations
- Forward and backward application of symbolic tree transducers
- The equivalence problem for deterministic MSO tree transducers is decidable
- Macro tree transducers, attribute grammars, and MSO definable tree translations.
- A Kleene Theorem for Forest Languages
- Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers
- Tree-based generation of languages of fractals
- Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms — Revisited
- Characterization of tree automata based on quantum logic
- Automata for XML -- a survey
- Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
- The generative power of delegation networks
- An Algebra for Tree-Based Music Generation
- Characterizing attributed tree translations in terms of macro tree transducers
- Deciding equivalence of top-down XML transformations in polynomial time
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
- Synthesized and inherited functions. A new computational model for syntax-directed semantics
- Deciding origin equivalence of weakly self-nesting macro tree transducers
- Multiple context-free tree grammars: lexicalization and characterization
- Extended symbolic finite automata and transducers
- Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms
- Compositions of extended top-down tree transducers
- Composition closure of linear extended top-down tree transducers
- The time complexity of typechecking tree-walking tree transducers
- A two-dimensional hierarchy for attributed tree transducers
- Compositions of Weighted Extended Tree Transducers — The Unambiguous Case
- Output string languages of compositions of deterministic macro tree transducers
- From Tree-Based Generators to Delegation Networks
- Decision problems of tree transducers with origin
- Domains of partial attributed tree transducers
- Decision problems of tree transducers with origin
- Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars
- Branching synchronization grammars with nested tables
- Attributed tree transducers for partial functions
- Compositions with Constant Weighted Extended Tree Transducers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4210160)
