Pages that link to "Item:Q1137390"
From MaRDI portal
The following pages link to A representation of trees by languages. II (Q1137390):
Displaying 17 items.
- Basic tree transducers (Q579951) (← links)
- The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
- The solutions of two star-height problems for regular trees (Q760212) (← links)
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- The complexity of tree automata and XPath on grammar-compressed trees (Q860863) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Parameter-reduction of higher level grammars (Q1099634) (← links)
- DPDA's in 'Atomic normal form' and applications to equivalence problems (Q1158965) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- Alphabetic tree relations (Q1193896) (← links)
- On some classes of interpretations (Q1251892) (← links)
- \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
- Recursion induction principle revisited (Q1838286) (← links)
- An undecidable property of context-free linear orders (Q1944046) (← links)
- Deterministic top-down tree automata with Boolean deterministic look-ahead (Q2163373) (← links)
