A termination proof for epsilon substitution using partial derivations.

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

Keyphrases

theorem prover
inference rules
term rewriting
rewrite systems
theorem proving
genetic algorithm
information systems
active learning
first order logic
hidden markov models
presburger arithmetic
probabilistic model
databases
lower bound
data structure
data mining
neural network