Pages that link to "Item:Q2305407"
From MaRDI portal
The following pages link to Restricted combinatory unification (Q2305407):
Displaying 11 items.
- 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)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Unification via the se-style of explicit substitutions (Q2743636) (← links)
- (Q4989394) (← links)
- (Q5028439) (← links)
- The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
