Logical Analysis of Programs
- Shmuel Katz
- Zohar Manna
- 1976
- CACM
Paper
Publications
24897 results for Exploratory Science
Evidence for low octahedral-shell potential in BaTiO3 and KNbO3 from ground-state splitting of Fe3+ in cubic oxides
- K.A. Müller
- 1976
- Physical Review B
PaperUse of misfit strain to remove dislocations from epitaxial thin films
- J.W. Matthews
- A.E. Blakeslee
- et al.
- 1976
- Thin Solid Films
PaperSystematic study of the transitions in tetrathiafulvalene- tetracyanoquinodimethane (TTF-TCNQ) and its selenium analogs
- Shahab Etemad
- 1976
- Physical Review B
PaperAdhesion of copper films to aluminum oxide using a spinel structure interface
- Gerald Katz
- 1976
- Thin Solid Films
PaperElectronic structure, spectra, and properties of 4:2-coordinated materials. I. Crystalline and amorphous SiO2 and GeO2
- Sokrates T. Pantelides
- Walter A. Harrison
- 1976
- Physical Review B
PaperEffect of interdiffusion on the elasticity and internal friction of compositionally modulated copper-nickel thin films
- B.S. Berry
- W.C. Pritchet
- 1976
- Thin Solid Films
PaperEffects of higher sub-band occupation in (100) Si inversion layers
- W.E. Howard
- F. Fang
- 1976
- Physical Review B
PaperCODASYL Data-Base Management Systems
- Robert W. Taylor
- Randall L. Frank
- 1976
- ACM Computing Surveys (CSUR)
PaperA Program Data Flow Analysis Procedure
- F.E. Allen
- J. Cocke
- 1976
- CACM
Paper