Certifying Confluence Proofs via Relative Termination and Rule Labeling.

Julian Nagele Bertram Felgenhauer Harald Zankl

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

rewrite systems
active rules
term rewriting
theorem prover
termination analysis
active databases
theorem proving
association rules
active learning
unsupervised learning
machine learning
logic programs
image segmentation
hidden markov models
knowledge base
data sets
formal proofs
mathematical proofs