Publications

19 results for H.R. Strong Jr.

Search within a Page
- - H.R. Strong
  - G. Markowsky
  - et al.
- 1979
- Journal of the ACM
Systematic Recursion Removal
- - Marc Auslander
  - H.R. Strong
- 1978
- CACM
Characterizations of flowchartable recursions
- - S.A. Walker
  - H.R. Strong
- 1973
- Journal of Computer and System Sciences
Characterizations of flowchartable recursions short version
- - S.A. Walker
  - H.R. Strong
- 1972
- STOC 1972
Properties preserved under recursion removal
- - H.R. Strong
  - S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Properties preserved under recursion removal
- - H.R. Strong
  - S.A. Walker
- 1972
- ACM SIGPLAN Notices
Translating recursion equations into flow charts
- - H.R. Strong Jr.
- 1971
- Journal of Computer and System Sciences
Translating recursion equations into flow charts
- - H.R. Strong
- 1970
- STOC 1970
Depth-bounded computation
- - H.R. Strong
- 1970
- Journal of Computer and System Sciences