Automatic Termination Proofs With Transformation Orderings.

Joachim Steinbach

Published in: RTA (1995)

Keyphrases

theorem prover
probabilistic model
real world
computer vision
expert systems
data driven
real time
databases
knowledge representation
semi automatic
fully automatic
theorem proving