Pages that link to "Item:Q5049020"
From MaRDI portal
The following pages link to Automatically Proving and Disproving Feasibility Conditions (Q5049020):
Displaying 4 items.
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Term orderings for non-reachability of (conditional) rewriting (Q2104512) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
