On the evaluation of powers and related problems
- Nicholas Pippenger
- 1976
- FOCS 1976
Conference paper
Publications
9277 results for Computer Science
Rational algebraic theories and fixed-point solutions
- J.B. Wright
- J.W. Thatcher
- et al.
- 1976
- FOCS 1976
Conference paperRecognizing certain repetitions and reversals within strings
- Zvi Galil
- Joel Seiferas
- 1976
- FOCS 1976
Conference paperSurvey of methods for the complete determination of a state of polarization
- P.S. Hauge
- 1989
- Proceedings of SPIE 1989
Conference paperModeling and performance evaluation of physical data base structures
- S.B. Yao
- 1976
- ACM Annual Conference 1976
Conference paperIncremental program testing in a very high level language
- B.M. Leavenworth
- 1976
- ACM Annual Conference 1976
Conference paperAn Introduction to Proving the Correctness of Programs
- Sidney L. Hantler
- James C. King
- 1976
- ACM Computing Surveys (CSUR)
PaperSymbolic Execution and Program Testing
- James C. King
- 1976
- CACM
PaperSome experimental results on placement techniques
- Maurice Hanan
- Peter K. Wolff
- et al.
- 1976
- DAC 1976
Conference paperLogical Analysis of Programs
- Shmuel Katz
- Zohar Manna
- 1976
- CACM
Paper