Pages that link to "Item:Q3498461"

The following pages link to HORPO with Computability Closure: A Reconstruction (Q3498461):

Displaying 3 items.

• Uncurrying for termination and complexity (Q352959) (← links)
• Coq formalization of the higher-order recursive path ordering (Q843949) (← links)
• The Computability Path Ordering: The End of a Quest (Q3540166) (← links)