Travelled to:3 × USA
Collaborated with:J.C.King L.Carter J.Gill G.Markowsky M.N.Wegman M.Blum V.R.Pratt R.L.Rivest R.E.Tarjan
Talks about:membership (1) interpret (1) approxim (1) theorem (1) tester (1) prover (1) orient (1) median (1) linear (1) comput (1)
Person: Robert W. Floyd
DBLP: Floyd:Robert_W=
Facilitated 1 volumes:
EdContributed to:
197819721970Wrote 3 papers:
- STOC-1978-CarterFGMW #approximate
- Exact and Approximate Membership Testers (LC, RWF, JG, GM, MNW), pp. 59–65.
- STOC-1972-BlumFPRT #bound #linear
- Linear Time Bounds for Median Computations (MB, RWF, VRP, RLR, RET), pp. 119–124.
- STOC-1970-KingF #integer #proving #theorem proving
- An Interpretation Oriented Theorem Prover over Integers (JCK, RWF), pp. 169–179.