Publications

24824 results for Exploratory Science

Properties preserved under recursion removal
- - H.R. Strong
  - S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Formal development of correct algorithms: An example based on Earley's recogniser
- - C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
A boundary between decidability and undecidability for parallel program schemata
- - Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Solution grown Ga_1-xAl_xAs superlattice structures
- - J. Woodall
- 1972
- Journal of Crystal Growth
Grid coding: A novel technique for image processing
- - Peter M. Will
  - Keith S. Pennington
- 1972
- Proceedings of the IEEE
Electron paramagnetic resonance of Ge donors in GaP
- - F. Mehran
  - T.N. Morgan
  - et al.
- 1972
- Solid State Communications
An interpretation-oriented theorem prover over integers
- - James C. King
  - Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
Contact resistances of AuGeNi, AuZn and Al to III-V compounds
- - K.K. Shih
  - J.M. Blum
- 1972
- Solid-State Electronics
New Q-Switch Compounds for Inrared Lasers
- - K.H. Drexhage
  - U.T. Müller-Westerhoff
- 1972
- IEEE JQE
Superradiant Level Shift in Transient Optical Experiments
- - H. Morawitz
- 1972
- IEEE JQE