Complexity of Boolean algebras
- Dexter Kozen
- 1980
- Theoretical Computer Science
Paper
Publications
24897 results for Exploratory Science
Computer simulation of the imaging of magnetic domains in the scanning electron microscope
- J.P. Jakubovics
- O.C. Wells
- 1980
- Journal of Magnetism and Magnetic Materials
PaperSimilarity between the Si(111)-(7×7) and impurity-stabilized Si(111)-(1×1) surfaces
- D.E. Eastman
- F.J. Himpsel
- et al.
- 1980
- Solid State Communications
PaperThe temperature dependence of the refractive index of hydrogenated amorphous silicon and implications for electroreflectance experiments
- M.H. Brodsky
- P.A. Leary
- 1980
- Journal of Non-Crystalline Solids
PaperOn the kinetic energies of sputtered excited particles: II. Theory and applications to group IIA fluorides
- Steven Dzioba
- Roger Kelly
- 1980
- Surface Science
PaperEffect of Screening Tests on the Lifetime Statistics of Injection Lasers
- Robert T. Lynch
- 1980
- IEEE JQE
PaperIntegration of algorithmic aids into decision support systems
- L.C. Barbosa
- R. Hirko
- 1980
- MIS Quarterly: Management Information Systems
PaperOn formulating simultaneity for studying parallelism and synchronization
- Raymond E. Miller
- Chee K. Yap
- 1980
- Journal of Computer and System Sciences
PaperOn a new conducting polymer-pyrolyzed Kapton
- H.B. Brom
- Y. Tomkiewicz
- et al.
- 1980
- Solid State Communications
PaperA nuclear magnetic resonance investigation of tetraselenafulvalene partially oriented in a nematic liquid crystal
- T.C. Wong
- E.M. Engler
- 1980
- Journal of Molecular Structure
Paper