An alternate proof of Aho & Ullman's LR(k) viable prefix theorem.

David B. Benson

Published in: SIGACT News (1973)

Keyphrases

interactive theorem proving
logistic regression
theorem prover
data structure
linear logic
theorem proving
low resolution
neural network
genetic algorithm
pattern matching
face recognition
hough transform
cost effective
image processing
search engine
mathematical proofs
real time