Formal development of correct algorithms: An example based on Earley's recogniser
- C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Publications
24812 results for Exploratory Science
GaAs1-xPx Electroluminescent Diodes Made by Zn Diffusion in an Open-Tube System
- K.K. Shih
- J.M. Blum
- 1972
- JES
A Mew Type of Nonlinear Spectroscopy Using Tunable Lasers
- J.J. Wynne
- 1972
- IEEE JQE
On linear volterra integral equations of convolution type
- John S. Lew
- 1972
- Proceedings of the American Mathematical Society
Passive Q Switching of a CO2 Laser Near 9.2 u Using CF2C12
- J.J. Wynne
- Fujio Shimiztj
- 1972
- IEEE JQE
The non-simple metal character of the electronic structure in compounds of the LaSn3 type
- W.D. Grobman
- 1972
- Journal of Physics and Chemistry of Solids
Self-Trapping of a Short Laser Pulse in Kerr Liquids
- F. Shimizu
- 1972
- IEEE JQE
Kinematics of deep trapping in amorphous selenium
- K. Keiji Kanazawa
- I.P. Batra
- 1972
- Journal of Non-Crystalline Solids
An interpretation-oriented theorem prover over integers
- James C. King
- Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
Transmission electron microscopy of wear tracks
- R. Feder
- P. Chaudhari
- 1972
- Wear