Pages that link to "Item:Q2723431"
From MaRDI portal
The following pages link to Complete monotonic semantic path orderings (Q2723431):
Displaying 9 items.
- Paramodulation with non-monotonic orderings and simplification (Q352977) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Automating the dependency pair method (Q2486583) (← links)
- The size-change principle and dependency pairs for termination of term rewriting (Q2573795) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- A Monotonic Higher-Order Semantic Path Ordering (Q2996192) (← links)
- (Q4447239) (← links)