Recognizing certain repetitions and reversals within strings
- Zvi Galil
- Joel Seiferas
- 1976
- FOCS 1976
Publications
9108 results for Computer Science
Rational algebraic theories and fixed-point solutions
- J.B. Wright
- J.W. Thatcher
- et al.
- 1976
- FOCS 1976
Alternation
- Ashok K. Chandra
- Larry J. Stockmeyer
- 1976
- FOCS 1976
On the evaluation of powers and related problems
- Nicholas Pippenger
- 1976
- FOCS 1976
Survey of methods for the complete determination of a state of polarization
- P.S. Hauge
- 1989
- Proceedings of SPIE 1989
Modeling and performance evaluation of physical data base structures
- S.B. Yao
- 1976
- ACM Annual Conference 1976
Incremental program testing in a very high level language
- B.M. Leavenworth
- 1976
- ACM Annual Conference 1976
An Introduction to Proving the Correctness of Programs
- Sidney L. Hantler
- James C. King
- 1976
- ACM Computing Surveys (CSUR)
Symbolic Execution and Program Testing
- James C. King
- 1976
- CACM
Some experimental results on placement techniques
- Maurice Hanan
- Peter K. Wolff
- et al.
- 1976
- DAC 1976