The following pages link to Ewen Denney (Q626931):
Displaying 10 items.
- Tactics for hierarchical proof (Q626933) (← links)
- Simply-typed underdeterminism (Q1273067) (← links)
- (Q2754039) (← links)
- (Q2852358) (← links)
- A Semantic Basis for Proof Queries and Transformations (Q2870114) (← links)
- Querying Proofs (Q2891442) (← links)
- Automated Reasoning (Q5307058) (← links)
- Algebraic Methodology and Software Technology (Q5312974) (← links)
- Explaining Verification Conditions (Q5505421) (← links)
- A Tactic Language for Hiproofs (Q5505516) (← links)
