Publications

9065 results for Computer Science

Structure and complexity of relational queries
- - Ashok K. Chandra
  - David Harel
- 1980
- FOCS 1980
Process logic: Expressiveness, decidability, completeness
- - David Harel
  - Dexter Kozen
  - et al.
- 1980
- FOCS 1980
Parsing for structural editors
- - Mark Wegman
- 1980
- FOCS 1980
A model of shared DASD and multipathing
- - Yonathan Bard
- 1980
- CACM
Computational algorithms for product form queueing networks
- - K. Mani Chandy
  - Charles H. Sauer
- 1980
- CACM
Fiber optics for local data networks
- - John D. Crow
  - Martin W. Sachs
- 1989
- Proceedings of SPIE 1989
Design and fabrication of microelectronic lenses
- - R.E. Tibbetts
  - J.S. Wilczynski
- 1989
- Proceedings of SPIE 1989
Notation as a Tool of Thought
- - Kenneth E. Iverson
- 1980
- CACM
On Folk Theorems
- - David Harel
- 1980
- CACM
A new look at logic synthesis
- - John A. Darringer
  - William H. Joyner
- 1980
- DAC 1980