The following pages link to (Q5636315):
Displaying 11 items.
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- A compact representation of proofs (Q1102282) (← links)
- Unification theory (Q1124375) (← links)
- Mechanizing \(\omega\)-order type theory through unification (Q1239309) (← links)
- On the termination of clause graph resolution (Q1344889) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- (Q4989394) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)