A Correctness Proof for Combinator Reduction with Cycles.

William M. Farmer John D. Ramsdell Ronald J. Watro

Published in: ACM Trans. Program. Lang. Syst. (1990)

Keyphrases

provably correct
theorem proving
reduction method
theorem prover
rough sets
natural language
geometry theorem proving
linear logic
attribute reduction
expert systems
database
search algorithm
video sequences
optimal solution
feature extraction
case study
feature selection
computer vision
neural network