Pages that link to "Item:Q1675159"
From MaRDI portal
The following pages link to Over-approximating terms reachable by context-sensitive rewriting (Q1675159):
Displaying 4 items.
- Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy (Q1637228) (← links)
- Tree automata for rewrite strategies (Q2456572) (← links)
- Over-approximating descendants by synchronized tree languages (Q2958380) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)