Search within a Page
- H.R. Strong
- G. Markowsky
- et al.
- 1979
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
19 results for H.R. Strong Jr.
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