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