The following pages link to Daron Vroon (Q851143):
Displayed 8 items.
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- ACL2s: “The ACL2 Sedan” (Q2867932) (← links)
- The ACL2 Sedan Theorem Proving System (Q3000661) (← links)
- Efficient execution in an automated reasoning environment (Q5437032) (← links)
- Formal Methods in Computer-Aided Design (Q5492968) (← links)
- Interactive Termination Proofs Using Termination Cores (Q5747661) (← links)
- Termination Analysis with Calling Context Graphs (Q5756741) (← links)
- Automated Deduction – CADE-19 (Q5900722) (← links)