Some results concerning proofs of statements about programs
- R.J. Orgass
- 1970
- Journal of Computer and System Sciences
Publications
26402 results for Science
The Role of Damage in the Annealing Characteristics of Ion Implanted Si
- Billy L. Crowder
- 1970
- JES
The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
Generalized2 sequential machine maps
- James W. Thatcher
- 1970
- Journal of Computer and System Sciences
On Optimum Recognition Error and Reject Tradeoff
- C.K. Chow
- 1970
- IEEE Trans. Inf. Theory
Epitaxial Growth of GaAsxP1-x from the Liquid Phase
- K.K. Shih
- 1970
- JES
Accomodation of misfit between single-crystal films of nickel and copper
- J.W. Matthews
- J.L. Crawford
- 1970
- Thin Solid Films
An Iterative Procedure for Solving Convex Optimal Control Problems
- Earl R. Barnes
- 1970
- IEEE TACON
The tungsten bronze field in the system K2O|Li2O|Nb2O5
- B.A. Scott
- E.A. Giess
- et al.
- 1970
- Materials Research Bulletin
On the relation between optical, electrical, and structural properties of amorphous silicon
- M.H. Brodsky
- R.S. Title
- et al.
- 1970
- Journal of Non-Crystalline Solids