A direct proof of the confluence of combinatory strong reduction

Published in: CoRR (2009)

Keyphrases

theorem prover
data sets
databases
computer vision
artificial neural networks
search engine
web services
image segmentation
three dimensional
natural language
knowledge representation
attribute reduction
reduction method
natural deduction
mathematical proofs