More on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
Paper
Publications
24860 results for Exploratory Science
Luminescence in terbium activated fluorozirconate glasses
- P.B. Perry
- M.W. Shafer
- et al.
- 1981
- Journal of Luminescence
PaperThe phonon spectra of the superionic conductor KBiF4 (a CaF2 Analogue)
- Gerald Burns
- F.H. Dacol
- et al.
- 1981
- Solid State Communications
PaperA new gallate fast-ion conducting isomorph of β-Al2O3
- G.V. Chandrashekhar
- L.M. Foster
- et al.
- 1981
- Solid State Ionics
PaperA very fast shift-register sequence random number generator
- Scott Kirkpatrick
- Erich P Stoll
- 1981
- Journal of Computational Physics
PaperConductance of small semiconductor devices
- A.A. Kastalsky
- M.S. Shur
- 1981
- Solid State Communications
PaperConservative differencing procedures for rotationally symmetric flow with swirl
- W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
PaperSome comments on preference order dynamic programming models
- Moshe Sniedovich
- 1981
- J. Math. Anal. Appl.
PaperAiry stress function for atomic models
- Paul J. Steinhardt
- P. Chaudhari
- 1981
- Journal of Computational Physics
PaperFirst- and second-order transitions in the Potts model near four dimensions
- Amnon Aharony
- E. Pytte
- 1981
- Physical Review B
Paper