( en | de | ru )

 

Disambiguation of "Boyer, Robert S."

Author of the publication

copydeleteadd this publication to your clipboard
A fast string searching algorithm

, and . Communications of the ACM, 20 (10): 762--772 (October 1977)
DOI: 10.1145/359842.359859

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Edmond Boyer

Robert S Rosen

Robert S Garnett

Robert S. MacLeod

Wilhelm Boyer

 

Other publications of authors with the same name

Computer Proofs of Limit Theorems., , and . IJCAI, page 586-600. William Kaufmann, (1971)Abstracts in software engineering - reports., , , , and . ACM SIGSOFT Softw. Eng. Notes, 11 (5): 92-94 (1986)A second generation verification environment., , and . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 48 (1985)Woody Bledsoe - His Life and Legacy., , and . AI Magazine, 17 (1): 7-20 (1996)Efficient Implementation of Lattice Operations., , , and . ACM Trans. Program. Lang. Syst., 11 (1): 115-146 (1989)A Mechanical Proof of the Unsolvability of the Halting Problem., and . J. ACM, 31 (3): 441-458 (1984)Set Theory in First-Order Logic: Clauses for Gödel's Axioms., , , , , and . J. Autom. Reason., 2 (3): 287-327 (1986)Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?. CADE, volume 814 of Lecture Notes in Computer Science, page 237. Springer, (1994)In memoriam: Edsger W. Dijkstra 1930-2002., , , , , , and . Commun. ACM, 45 (10): 21-22 (2002)Program verification prize., and . ACM SIGSOFT Softw. Eng. Notes, 8 (3): 64 (1983)