Level-Confluence of 3-CTRSs in Isabelle/HOL.

Christian Sternagel Thomas Sternagel

Published in: CoRR (2016)

Keyphrases

theorem prover
natural deduction
real time
data sets
data mining
higher level
real world
information retrieval
social networks
computer vision
multimedia
bayesian networks
first order logic
theorem proving