The following pages link to Structured proof procedures (Q1924823):
Displaying 6 items.
- FTP'2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP'03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12--14, 2003 (Q877561) (← links)
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Proof generation in the Touchstone theorem prover (Q2723407) (← links)
- (Q3490999) (← links)
- Painless programming combining reduction and search (Q5168885) (← links)