BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
moor (5)
theorem (2)
prover (2)
string (2)
match (2)

Stem boyer$ (all stems)

5 papers:

ICPRICPR-2008-Wang #algorithm #string
A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.
Accelerating Boyer Moore Searches on Binary Texts (STK, MBN), pp. 130–143.
CADECADE-1988-Kaufmann #interactive #proving #theorem proving
An Interactive Enhancement to the Boyer-Moore Theorem Prover (MK), pp. 735–736.
CADECADE-1980-Gloess #correctness #empirical #parsing #proving #theorem proving
An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions (PYG), pp. 154–169.
ICALPICALP-1978-Galil #algorithm #on the #string
On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm (ZG), pp. 241–250.

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.