Pages that link to "Item:Q3172889"

The following pages link to Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889):

Displaying 4 items.

• Normal Higher-Order Termination (Q2946769) (← links)
• Size-based termination of higher-order rewriting (Q4577817) (← links)
• (Q5094148) (← links)
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)