The following pages link to John D. Howroyd (Q650919):
Displaying 14 items.
- A unifying theory of control dependence and its application to arbitrary program structures (Q650921) (← links)
- (Q875511) (redirect page) (← links)
- Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time (Q875512) (← links)
- A non-standard semantics for program slicing and dependence analysis (Q997995) (← links)
- Equivalence of conservative, free, linear program schemas is decidable (Q1853616) (← links)
- A formal relationship between program slicing and partial evaluation (Q2432231) (← links)
- Box and packing dimensions of projections and dimension profiles (Q2709860) (← links)
- Packing dimensions of projections and dimension profiles (Q4351108) (← links)
- A Domain-Theoretic Approach to Integration in Hausdorff Spaces (Q4504971) (← links)
- A matrix-valued Choquet–Deny theorem (Q4510068) (← links)
- On Dimension and on the Existence of Sets of Finite Positive Hausdorff Measure (Q4837828) (← links)
- (Q4840123) (← links)
- On Hausdorff and packing dimension of product spaces (Q4875098) (← links)
- Projection theorems for box and packing dimensions (Q4877661) (← links)
