The following pages link to Superposition with lambdas (Q5919500):
Displaying 12 items.
- Improving automation for higher-order proof steps (Q831930) (← links)
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- Superposition with lambdas (Q5918381) (← links)
- A comprehensive framework for saturation theorem proving (Q5918558) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- Superposition with lambdas (Q5919500) (← links)
