Pages that link to "Item:Q1582010"
From MaRDI portal
The following pages link to A comparison of tree transductions defined by monadic second order logic and by attribute grammars (Q1582010):
Displaying 26 items.
- Storage-to-tree transducers with look-ahead (Q706619) (← links)
- Determinacy and rewriting of functional top-down and MSO tree transformations (Q730500) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- The equivalence problem for deterministic MSO tree transducers is decidable (Q845868) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Extended multi bottom-up tree transducers (Q1038420) (← links)
- On the power of tree-walking automata. (Q1401944) (← links)
- Decision problems of tree transducers with origin (Q1641005) (← links)
- Balancedness of MSO transductions in polynomial time (Q1705700) (← links)
- Attribute grammars for unranked trees as a query language for structured documents (Q1776378) (← links)
- Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity (Q2022308) (← links)
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430) (← links)
- Streamable regular transductions (Q2286735) (← links)
- A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead (Q2390283) (← links)
- Recognizability, hypergraph operations, and logical types (Q2496296) (← links)
- Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars (Q2835046) (← links)
- COMPUTING BY COMMUNICATION IN NETWORKS OF MEMBRANES (Q3021986) (← links)
- Tree Transformations and Dependencies (Q3172824) (← links)
- (Q3386623) (← links)
- Monadic Datalog Tree Transducers (Q3618586) (← links)
- 10th Asian Logic Conference (Q3633210) (← links)
- GETGRATS (Q4923529) (← links)
- (Q5089180) (← links)
- (Q5089205) (← links)
- RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS (Q5404514) (← links)
- Characterizing attributed tree translations in terms of macro tree transducers (Q6104348) (← links)
