BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Floyd:Robert_W=

Facilitated 1 volumes:

STOC 1973Ed

Contributed to:

STOC 19781978
STOC 19721972
STOC 19701970

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.