Publications

3 results for Robert Floyd

Exact and approximate membership testers
- - Larry Carter
  - Robert Floyd
  - et al.
- 1978
- STOC 1978
Conference paper
An interpretation-oriented theorem prover over integers
- - James C. King
  - Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
Paper
An interpretation oriented theorem prover over integers
- - James C. King
  - Robert W. Floyd
- 1970
- STOC 1970
Conference paper