Pages that link to "Item:Q5053730"
From MaRDI portal
The following pages link to MINIMAL RECOGNIZERS AND SYNTACTIC MONOIDS OF DR TREE LANGUAGES (Q5053730):
Displaying 5 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Composition closure of linear extended top-down tree transducers (Q519891) (← links)
- Multiple context-free tree grammars: lexicalization and characterization (Q1749480) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
