Publications

26328 results for Science

Derivation of axiomatic definitions of programming languages from algorithmic definitions
- - C. David Allen
- 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
Properties preserved under recursion removal
- - H.R. Strong
  - S.A. Walker
- 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
Steady-State Formation of Filaments in Self-Focusing
- - E. Courtens
- 1972
- IEEE JQE
Conformal solution theory: Generalized theory for pure fluids
- - Peter J. Leonard
  - Douglas Henderson
- 1972
- Molecular Physics
Soft heat diffusion mode at first order displacive phase transitions
- - E. Pytte
  - H. Thomas
- 1972
- Solid State Communications
Infrared TV system of computer controlled Czochralski crystal growth
- - D.F O'Kane
  - T.W Kwap
  - et al.
- 1972
- Journal of Crystal Growth
The non-simple metal character of the electronic structure in compounds of the LaSn₃ type
- - W.D. Grobman
- 1972
- Journal of Physics and Chemistry of Solids
Preparation and properties of silicon-cadmium selenide p-n heterojunctions
- - Y.J. van der Meulen
  - J.G. Cahill
  - et al.
- 1972
- Thin Solid Films