Interactive Termination Proofs Using Termination Cores.

Panagiotis Manolios Daron Vroon

Published in: ITP (2010)

Keyphrases

term rewriting
rewrite systems
user friendly
theorem proving
termination analysis
data mining
active rules
information retrieval
interactive video
data sets
website
decision trees
multi agent
hidden markov models
multi core processors