A direct proof of the confluence of combinatory strong reduction.

Published in: Theor. Comput. Sci. (2009)

Keyphrases

databases
probabilistic model
rewrite systems
neural network
data mining
machine learning
case study
high level
logic programming
theorem proving
reduction method
linear logic