Pages that link to "Item:Q1134540"
From MaRDI portal
The following pages link to Mechanizing structural induction. I: Formal system (Q1134540):
Displaying 5 items.
- Mathematical induction in Otter-lambda (Q861715) (← links)
- Mechanizing structural induction. II: Strategies (Q1134541) (← links)
- Reasoning with conditional axioms (Q1924731) (← links)
- Foundations of a theorem prover for functional and mathematical uses (Q4275695) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
