Pages that link to "Item:Q2988386"
From MaRDI portal
The following pages link to A Lambda-Free Higher-Order Recursive Path Order (Q2988386):
Displaying 6 items.
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- A Lambda-Free Higher-Order Recursive Path Order (Q2988386) (← links)
- (Q4989394) (← links)
- (Q5111307) (← links)
- Recursive Path Orderings Can Also Be Incremental (Q5387842) (← links)
- Superposition with lambdas (Q5919500) (← links)
