Pages that link to "Item:Q2096451"

The following pages link to A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451):

Displaying 3 items.

• A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
• Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
• The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)