Pages that link to "Item:Q3655195"

The following pages link to Argument Filterings and Usable Rules for Simply Typed Dependency Pairs (Q3655195):

Displaying 2 items.

• Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889) (← links)
• Argument Filterings and Usable Rules for Simply Typed Dependency Pairs (Q3655195) (← links)