The following pages link to Henk Doornbos (Q1015385):
Displayed 7 items.
- Datatype-generic termination proofs (Q1015386) (← links)
- A calculational approach to mathematical induction (Q1391737) (← links)
- Reductivity (Q1916366) (← links)
- Components and acyclicity of graphs. An exercise in combining precision with concision (Q2667191) (← links)
- (Q4362885) (← links)
- On the union of well-founded relations (Q4383698) (← links)
- (Q4738114) (← links)