Function Level Programs as Mathematical Objects
- John Backus
- 1981
- FPCA 1981
Conference paper
Publications
9293 results for Computer Science
A History and Evaluation of System R
- Donald D. Chamberlin
- Morton M. Astrahan
- et al.
- 1981
- CACM
PaperTechnical corrections: On Spelling Correction and Beyond
- Michael R. Dunlavey
- Lance A. Miller
- 1981
- CACM
PaperSingle and dual wavelength exposure of photoresist
- J. LaRue
- C. Ting
- 1989
- Proceedings of SPIE 1989
Conference paperSurvey of analysis, simulation and modeling for large scale logic circuits
- Albert E. Ruehli
- 1981
- DAC 1981
Conference paperField testing the transformational question answering (TQA) system
- S.R. Patrick
- 1981
- ACL 1981
Conference paperInteractive graphics for volume modeling
- R. Wolfe
- W. Fitzgerald
- et al.
- 1981
- DAC 1981
Conference paperOn logic comparison
- Leonard Berman
- 1981
- DAC 1981
Conference paperThe effect of overcoats on the ablative writing characteristics of tellurium films
- M. Chen
- V. Marrello
- 1980
- Optical Storage Materials 1980
Conference paperJanus: An interactive system for document composition
- Donald D. Chamberlin
- James C. King
- et al.
- 1981
- ACM SIGPLAN SIGOA Symposium on Text Manipulation 1981
Conference paper