Cites work
- scientific article; zbMATH DE number 3653565 (Why is no real title available?)
- scientific article; zbMATH DE number 3473274 (Why is no real title available?)
- scientific article; zbMATH DE number 3478415 (Why is no real title available?)
- scientific article; zbMATH DE number 3499212 (Why is no real title available?)
- scientific article; zbMATH DE number 3501022 (Why is no real title available?)
- scientific article; zbMATH DE number 3513288 (Why is no real title available?)
- scientific article; zbMATH DE number 3540387 (Why is no real title available?)
- scientific article; zbMATH DE number 3550181 (Why is no real title available?)
- scientific article; zbMATH DE number 3558912 (Why is no real title available?)
- scientific article; zbMATH DE number 3558992 (Why is no real title available?)
- scientific article; zbMATH DE number 3576680 (Why is no real title available?)
- scientific article; zbMATH DE number 3438414 (Why is no real title available?)
- scientific article; zbMATH DE number 3438417 (Why is no real title available?)
- scientific article; zbMATH DE number 3439971 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- A generalized approach to formal languages
- A note on infinite trees
- Algebraic automata and context-free sets
- An extension of ALGOL-like languages
- Bottom-up and top-down tree transformations— a comparison
- Data Types as Lattices
- Decidable Properties of Monadic Functional Schemas
- Equational languages
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Generalized sequential machine maps
- Heterogeneous algebras
- Inductive methods for proving properties of programs
- Initial Algebra Semantics and Continuous Algebras
- Mappings and grammars on trees
- Simple program schemes and formal languages
- Tree-Manipulating Systems and Church-Rosser Theorems
- Two Families of Languages Related to ALGOL
Cited in
(47)- Languages with homomorphic replacements
- Pushdown tree automata, algebraic tree systems, and algebraic tree series
- Formal computations of non deterministic recursive program schemes
- Recognizability of graph and pattern languages
- Equational weighted tree transformations with discounting
- Decidability of EDT0L structural equivalence
- Second-order abstract categorial grammars as hyperedge replacement grammars
- High level tree transducers and iterated pushdown tree transducers
- An operational and denotational approach to non-context-freeness
- From Tree-Based Generators to Delegation Networks
- Axiomatizing the equational theory of regular tree languages
- Equational tree transformations
- Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations
- Multiple context-free tree grammars: lexicalization and characterization
- The equivalence of tree adjoining grammars and monadic linear context-free tree grammars
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Generated models and the -rule: the nondeterministic case
- Alphabetic tree relations
- Branching synchronization grammars with nested tables
- Transducers and the decidability of independence in free monoids
- Minimality in a linear calculus with iteration
- The formal power of one-visit attribute grammars
- Attributed tree grammars
- Extending regular expressions with homomorphic replacement
- Hierarchies of tree series transformations
- Decidability of the finiteness of ranges of tree transductions
- The generative power of delegation networks
- Graph expressions and graph rewritings
- Tree-based picture generation
- scientific article; zbMATH DE number 7471714 (Why is no real title available?)
- Equational weighted tree transformations
- Compositions of tree series transformations
- Deciding linear height and linear size-to-height increase of macro tree transducers
- On the Mild Context-Sensitivity of k-Tree Wrapping Grammar
- Weighted automata with storage
- Time and space complexity of inside-out macro languages
- Iterated linear control and iterated one-turn pushdowns
- Decidable subcases of the equivalence problem for recursive program schemes
- Principal abstract families of weighted tree languages
- Closure properties of linear context-free tree languages with an application to optimality theory
- Unique, guarded fixed points in an additive setting: extended abstract
- scientific article; zbMATH DE number 7136663 (Why is no real title available?)
- Extended linear macro grammars, iteration grammars, and register programs
- R-fuzzy computation
- Composition closure of linear extended top-down tree transducers
- Towards more precise rewriting approximations
- Two Equivalent Regularizations for Tree Adjoining Grammars
This page was built for publication: IO and OI. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1241985)
