Boyer-Moore Automation for the HOL System.

Richard J. Boulton

Published in: TPHOLs (1992)

Keyphrases

boyer moore
pattern matching
sliding window
search algorithm
theorem prover
formal methods
higher order logic
high quality
natural deduction
industrial automation
real time
data streams
similarity measure
natural language
theorem proving
process automation