Pages that link to "Item:Q3522018"
From MaRDI portal
The following pages link to Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (Q3522018):
Displaying 4 items.
- Controlled Term Rewriting (Q3172893) (← links)
- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (Q3454088) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)
- Closure of Tree Automata Languages under Innermost Rewriting (Q5170159) (← links)
