The following pages link to SET-VAR (Q1319383):
Displaying 5 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- The calculus of constructions as a framework for proof search with set variable instantiation (Q1575927) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
