Properties preserved under recursion removal
- H.R. Strong
- S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paper
Publications
26858 results for Science
Derivation of axiomatic definitions of programming languages from algorithmic definitions
- C. David Allen
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperFormal development of correct algorithms: An example based on Earley's recogniser
- C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperA boundary between decidability and undecidability for parallel program schemata
- Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperLarge-scale numerical simulation in semiconductor device modelling
- M. Reiser
- 1972
- Comput. Methods Appl. Mech. Eng.
PaperReconstruction of patterns by block-projection
- C.K. Wong
- P.C. Yue
- 1972
- Information Sciences
PaperAnalysis of methods for calculating spectral properties in solids
- G Gilat
- 1972
- Journal of Computational Physics
PaperCrystallization of certain chalcogenide glasses
- P. Chaudhari
- S.R. Herd
- 1972
- Journal of Non-Crystalline Solids
PaperContact resistances of AuGeNi, AuZn and Al to III-V compounds
- K.K. Shih
- J.M. Blum
- 1972
- Solid-State Electronics
PaperElectrical conduction in evaporated amorphous silicon films
- M.H Brodsky
- R.J Gambino
- 1972
- Journal of Non-Crystalline Solids
Paper