Pages that link to "Item:Q3454088"
From MaRDI portal
The following pages link to Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (Q3454088):
Displaying 6 items.
- Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy (Q1637228) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Modular termination of prefix-constrained term rewrite systems (Q2059889) (← links)
- Some decidability results on one-pass reductions (Q2423761) (← links)
- One-variable context-free hedge automata (Q2424690) (← links)
- Confluence of prefix-constrained rewrite systems (Q4993332) (← links)