The following pages link to SPIKE (Q22153):
Displaying 7 items.
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Termination of constructor systems (Q5055852) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
