Pages that link to "Item:Q2303238"
From MaRDI portal
The following pages link to Using well-founded relations for proving operational termination (Q2303238):
Displaying 4 items.
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Automatic generation of logical models with AGES (Q2305421) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
