Precise bounds for presburger arithmetic and the reals with addition: Preliminary report
- Leonard Berman
- 1977
- FOCS 1977
Conference paper
Publications
9296 results for Computer Science
Lower bounds for natural proof systems
- Dexter Kozen
- 1977
- FOCS 1977
Conference paperTechniques 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 paperHigh-level data flow analysis
- Barry K. Rosen
- 1977
- CACM
PaperMotorneurons of different geometry and the size principle
- R.D. Traub
- 1977
- Biological Cybernetics
PaperA model of a human neuromuscular system for small isometric tensions
- R.D. Traub
- 1977
- Biological Cybernetics
PaperAn experimental system for power/timing optimization of LSI chips
- B.J. Agule
- J.D. Lesser
- et al.
- 1977
- DAC 1977
Conference paperPrediction of wiring space requirements for LSI
- W.R. Heller
- W.F. Mikhail
- et al.
- 1977
- DAC 1977
Conference paperAnalytical power/timing optimization technique for digital system
- A.E. Ruehli
- P.K. Wolff
- et al.
- 1977
- DAC 1977
Conference paper