Pages that link to "Item:Q5505590"
From MaRDI portal
The following pages link to A Higher-Order Iterative Path Ordering (Q5505590):
Displaying 10 items.
- An improved general path order (Q1925013) (← links)
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- A Lambda-Free Higher-Order Recursive Path Order (Q2988386) (← links)
- A Monotonic Higher-Order Semantic Path Ordering (Q2996192) (← links)
- Polymorphic higher-order recursive path orderings (Q3546327) (← links)
- The recursive path and polynomial ordering for first-order and higher-order terms (Q4914419) (← links)
- (Q5009706) (← links)
- (Q5322722) (← links)
- Recursive Path Orderings Can Also Be Incremental (Q5387842) (← links)
- Improving associative path orderings (Q6488548) (← links)