Publications

26347 results for Science

A boundary between decidability and undecidability for parallel program schemata
- - Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Formal development of correct algorithms: An example based on Earley's recogniser
- - C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Derivation of axiomatic definitions of programming languages from algorithmic definitions
- - C. David Allen
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Influence of misfit dislocations on the alignment of epitaxial thin films
- - J.W. Matthews
- 1972
- Thin Solid Films
Formation of second phase particles in aluminum-copper alloy films
- - S. Mader
  - S.R. Herd
- 1972
- Thin Solid Films
Electrical conduction in evaporated amorphous silicon films
- - M.H Brodsky
  - R.J Gambino
- 1972
- Journal of Non-Crystalline Solids
New Q-Switch Compounds for Inrared Lasers
- - K.H. Drexhage
  - U.T. Müller-Westerhoff
- 1972
- IEEE JQE
The surgical implications of physiologic patterns in myocardial infarction shock
- - John H. Siegel
  - Edward J. Farrell
  - et al.
- 1972
- Surgery
Stable growth rates and temperature programming in flux growth
- - H.J. Scheel
  - D. Elwell
- 1972
- Journal of Crystal Growth
The Effect of Dispersion on Pulse Distortion in Optical Filaments
- - F. Shimizu
- 1972
- IEEE JQE