Pages that link to "Item:Q2988386"
From MaRDI portal
The following pages link to A Lambda-Free Higher-Order Recursive Path Order (Q2988386):
Displaying 12 items.
- Coq formalization of the higher-order recursive path ordering (Q843949) (← links)
- Superposition for \(\lambda\)-free higher-order logic (Q1799065) (← 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)
- (Q4989394) (← links)
- (Q5111307) (← links)
- Recursive Path Orderings Can Also Be Incremental (Q5387842) (← links)
- A Higher-Order Iterative Path Ordering (Q5505590) (← links)
- Superposition with lambdas (Q5919500) (← links)