The following pages link to Greg Nelson (Q2767988):
Displaying 8 items.
- (Q2767989) (← links)
- On the fault tolerance of the butterfly (Q2817602) (← links)
- Simplify: a theorem prover for program checking (Q3546294) (← links)
- (Q3677735) (← links)
- Fast Decision Procedures Based on Congruence Closure (Q3883564) (← links)
- Simplification by Cooperating Decision Procedures (Q3899468) (← links)
- (Q4737120) (← links)
- Mathematics of Program Construction (Q5313084) (← links)
