Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction.

Fairouz Kamareddine Vincent Rahli

Published in: LSFA (2008)

Keyphrases

theorem prover
theorem proving
evolutionary algorithm
multi agent systems
databases
machine learning
social networks
information systems
hidden markov models
data reduction