Properties preserved under recursion removal
- H.R. Strong
- S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paper
Publications
24904 results for Exploratory 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 paperComments on the interatomic potential for argon
- H.J.M. Hanley
- J.A. Barker
- et al.
- 1972
- Molecular Physics
PaperSelf-Trapping of a Short Laser Pulse in Kerr Liquids
- F. Shimizu
- 1972
- IEEE JQE
PaperSoft heat diffusion mode at first order displacive phase transitions
- E. Pytte
- H. Thomas
- 1972
- Solid State Communications
Paper12 Lowest Order Optical Nonlinearity X(2) in InSb: Dispersion Wear the Band Gap
- S.S. Jha
- J.J. Wynne
- 1972
- IEEE JQE
PaperThe structure of laser written lines in a Te81Ge15As4 glass
- P. Chaudhari
- S.R. Herd
- et al.
- 1972
- Journal of Non-Crystalline Solids
PaperA magnetization and susceptibility study of the order-disorder transformation in VAu4; short range order
- J.R. Asik
- R.J. Gambino
- et al.
- 1972
- Journal of Physics and Chemistry of Solids
PaperOn linear volterra integral equations of convolution type
- John S. Lew
- 1972
- Proceedings of the American Mathematical Society
Paper