The following pages link to Richard J. Boulton (Q1309244):
Displaying 11 items.
- (Q699920) (redirect page) (← links)
- Proofs-as-programs as a framework for the design of an analogy-based ML editor (Q699921) (← links)
- Lazy techniques for fully expansive theorem proving (Q1309245) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- (Q2729073) (← links)
- (Q2767092) (← links)
- (Q2782495) (← links)
- (Q3024862) (← links)
- Transparent optimisation of rewriting combinators (Q4267719) (← links)
- (Q4417982) (← links)
- A restricted form of higher-order rewriting applied to an HDL semantics (Q5055839) (← links)
