More on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
Paper
Publications
24882 results for Exploratory Science
Upper critical fields of amorphous transition metal based alloys
- M. Tenhover
- W.L. Johnson
- et al.
- 1981
- Solid State Communications
PaperAnomalous two-electron auger resonance in thorium near the 5d(O5) photothreshold
- M. Aono
- T.-C. Chiang
- et al.
- 1981
- Solid State Communications
PaperFluoride ion conductivity - composition relationships in the fluorite phase region of the KF-BiF3 system
- M.W. Shafer
- G.V. Chandrashekhar
- 1981
- Solid State Ionics
PaperAn elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
PaperOptimal policies for inventory models with some specified markets and finite time horizon
- Lineu C. Barbosa
- Moshe Friedman
- 1981
- EJOR
PaperThree-dimensional character of semimetallic InAs-GaSb superlattices
- J.C. Maan
- Y. Guldner
- et al.
- 1981
- Solid State Communications
PaperElectrical properties of pyrrole and its copolymers
- K.K. Kanazawa
- A. Diaz
- et al.
- 1981
- Synthetic Metals
PaperNoise characteristics of an ideal shunted Josephson junction
- Richard F. Voss
- 1981
- Journal of Low Temperature Physics
PaperDiffraction of spin polarized electrons from Au(110)
- B. Reihl
- 1981
- Zeitschrift für Physik B Condensed Matter
Paper