A boundary between decidability and undecidability for parallel program schemata
- Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Publications
26846 results for Science
Properties preserved under recursion removal
- H.R. Strong
- S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
An Efficient Algorithm for Computing Free Distance
- L.R. Bahl
- C.D. Cullum
- et al.
- 1972
- IEEE Trans. Inf. Theory
Self-Trapping of a Short Laser Pulse in Kerr Liquids
- F. Shimizu
- 1972
- IEEE JQE
On linear volterra integral equations of convolution type
- John S. Lew
- 1972
- Proceedings of the American Mathematical Society
Relationship 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
Continuous-time state estimation under disturbances bounded by convex sets
- Felix M. Schlaepfer
- Fred C. Schweppe
- 1972
- IEEE TACON
Reconstruction of patterns by block-projection
- C.K. Wong
- P.C. Yue
- 1972
- Information Sciences
GaAsGaAlAs heterojunction transistor for high frequency operation
- W.P. Dumke
- J. Woodall
- et al.
- 1972
- Solid-State Electronics
Thermodynamic Calculations of the Ge-H-CI System
- V.J. Silvestri
- 1972
- JES