A boundary between decidability and undecidability for parallel program schemata
- Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paper
Publications
26945 results for Science
Comments on the interatomic potential for argon
- H.J.M. Hanley
- J.A. Barker
- et al.
- 1972
- Molecular Physics
PaperA Mew Type of Nonlinear Spectroscopy Using Tunable Lasers
- J.J. Wynne
- 1972
- IEEE JQE
PaperIOTA, a new computer controlled thin film thickness measurement tool
- K. Konnerth
- F.H. Dill
- 1972
- Solid-State Electronics
PaperMisfit dislocations and the alignment of epitaxial islands
- J.W. Matthews
- 1972
- Surface Science
PaperRelationship of crystal growth parameters to the stoichiometry of EuO as determined by I.R. and conductivity measurements
- M.W. Shafer
- J.B. Torrance
- et al.
- 1972
- Journal of Physics and Chemistry of Solids
PaperElectron paramagnetic resonance of LiNbO3: Fe3+
- F. Mehran
- B.A. Scott
- 1972
- Solid State Communications
PaperGrain boundary contributions to transport
- R. Rosenberg
- A.F. Mayadas
- et al.
- 1972
- Surface Science
PaperPerturbation calculation of the distribution functions of mixtures of hard spheres
- William R. Smith
- Douglas Henderson
- 1972
- Molecular Physics
PaperDifferential scanning calorimetric study of the Transition heats of some dibenzazepines, carbazoles and phenothiazines
- Edward Gipstein
- Edward M. Barrall II
- et al.
- 1972
- Thermochimica Acta
Paper