Robert S. Boyer

Robert S. Boyer

Robert Stephen Boyer, aka Bob Boyer, is a professor of computer science, mathematics, and philosophy at The University of Texas at Austin. He and J Strother Moore invented the Boyer-Moore string search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore also collaborated on the Boyer-Moore automated theorem prover, Nqthm, in 1992.cite web|title=Nqthm, the Boyer-Moore prover|url=http://www.cs.utexas.edu/~boyer/ftp/nqthm/|accessdate=2006-04-21] He is currently working on another Boyer-Moore prover called ACL2.

Publications

Dr. Boyer has published extensively, including the following books:
*"A Computational Logic Handbook", with J S. Moore. Second Edition. Academic Press, London, 1998.
*"Automated Reasoning: Essays in Honor of Woody Bledsoe", editor. Kluwer Academic, Dordrecht, The Netherlands, 1991.
*"A Computational Logic Handbook", with J S. Moore. Academic Press, New York, 1988.
*"The Correctness Problem in Computer Science", editor, with J S. Moore. Academic Press, London, 1981.
*"A Computational Logic", with J S. Moore. Academic Press, New York, 1979.

External links

* [http://www.cs.utexas.edu/~boyer/ Home page of Robert S. Boyer] . Accessed March 14, 2006.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Robert James Boyer — (1913 ndash; January 20 2005) was an Ontario journalist, author and political figure. He represented Muskoka as a Progressive Conservative member from 1955 to 1971.Boyer was the son of George Boyer. He married Patricia Johnson. He served as a… …   Wikipedia

  • Boyer — is a French, English, German and even Turkish last name. Boyer in English comes from bowyer, meaning bow maker or bow seller. In French, it means ox leader , the one leading the ox while plowing. In Turkish, it comes from boy er, boy meaning size …   Wikipedia

  • Robert Boyer (artist) — Robert (Bob) Boyer (July 20, 1948 August 30, 2004) was a Canadian visual artist and university professor of aboriginal heritage. He was one of the leading figures in aboriginal art in the 20th century.fact|date=May 2008 Boyer s career saw so… …   Wikipedia

  • Robert Boyer — may refer to:*Robert S. Boyer, professor of computer science, mathematics, and philosophy *See List of Charles Whitman s victims for Robert Hamilton Boyer, professor killed at The University of Texas in 1966 *Robert Boyer (artist), Canadian… …   Wikipedia

  • Boyer-Moore-Algorithmus — Der Boyer Moore Algorithmus ist ein String Matching Algorithmus. Der Algorithmus wird dazu genutzt, um in einem Text T einen bestimmten Teiltext (Muster M) zu finden und wurde 1977 von Robert S. Boyer und J Strother Moore entwickelt.… …   Deutsch Wikipedia

  • Robert Boyer — Saltar a navegación, búsqueda Robert Boyer Robert Boyer (25 de marzo de 1943) es un economista francés conocido por ser uno de los principales autores de la escuela de la regulación. Contenido …   Wikipedia Español

  • Robert Rollis — Robert Aristide Vasseux dit Robert Rollis, né le 14 mars 1921 à Épinal (Vosges) et décédé le 6 novembre 2007 à Paris 18ème, est un acteur français. Sommaire 1 Biographie 2 Filmographie 2.1 …   Wikipédia en Français

  • Robert Vasseux — Robert Rollis Robert Rollis (pseudonyme de Robert Vasseux) est un acteur français né le 14 mars 1921 à Épinal et décédé le 6 novembre 2007 à l âge de 86 ans. Il fait partie des seconds rôles que le public francophone aime particulièrement :… …   Wikipédia en Français

  • Robert Destain — est un acteur et chanteur né le 1er octobre 1919 à Paris et mort le 20 décembre 2010 à Rodez. Filmographie 1949 : Branquignol de Robert Dhéry 1949 : Nous irons à Paris de Jean Boyer 1950 : Bertrand cœur de lion de Robert Dhéry… …   Wikipédia en Français

  • Robert Ozanne — était un acteur français, né Robert Marcel Achille Ozanne à Paris le 13 février 1898[1], décédé à Limeil Brévannes (Val de Marne) le 14 septembre 1941. Sommaire 1 Biographie …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”