Pages that link to "Item:Q845695"
From MaRDI portal
The following pages link to Descendants of a recognizable tree language for sets of linear monadic term rewrite rules (Q845695):
Displaying 6 items.
- Murg term rewrite systems (Q975468) (← links)
- Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy (Q1637228) (← links)
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules (Q1917088) (← links)
- The partial clone of linear tree languages (Q2332072) (← links)
- Regular sets of descendants by leftmost strategy (Q2843614) (← links)
- MINIMAL RECOGNIZERS AND SYNTACTIC MONOIDS OF DR TREE LANGUAGES (Q5053730) (← links)