Pages that link to "Item:Q2305406"
From MaRDI portal
The following pages link to Extending SMT solvers to higher-order logic (Q2305406):
Displaying 10 items.
- Improving automation for higher-order proof steps (Q831930) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- Scalable algorithms for abduction via enumerative syntax-guided synthesis (Q2096443) (← links)
- A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← 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)
