Precise bounds for presburger arithmetic and the reals with addition: Preliminary report
- Leonard Berman
- 1977
- FOCS 1977
Conference paper
Publications
26875 results for Science
Techniques of measurement of the polarization-altering properties of linear optical systems
- P.S. Hauge
- 1989
- Proceedings of SPIE 1989
Conference paperTechniques of measurement of the polarization-altering properties of linear optical systems
- P.S. Hauge
- 1977
- SPIE Industrial and Civil Applications of Infrared Technology 1977
Conference paperLattice dynamics of the superionic conductor AgI
- Richard Alben
- Gerald Burns
- 1977
- Physical Review B
PaperChemisorption of chlorine on Si(111) 7 × 7 and 1 × 1 surfaces
- K.C. Pandey
- T. Sakurai
- et al.
- 1977
- Physical Review B
PaperInfrared and Raman spectra of the silicon-hydrogen bonds in amorphous silicon prepared by glow discharge and sputtering
- M.H. Brodsky
- Manuel Cardona
- et al.
- 1977
- Physical Review B
PaperOptical absorption in amorphous Si films at high pressure
- B. Welber
- M.H. Brodsky
- 1977
- Physical Review B
PaperThermal strain in lead thin films I: Dependence of the strain on crystal orientation
- M. Murakami
- P. Chaudhari
- 1977
- Thin Solid Films
PaperQ factor and resonance amplitude of Josephson tunnel junctions
- R.F. Broom
- P. Wolf
- 1977
- Physical Review B
PaperHigh-level data flow analysis
- Barry K. Rosen
- 1977
- CACM
Paper