Automatizing Termination Proofs of Recursively Defined Functions.

Pascal Manoury Marianne Simonot

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

Keyphrases

database
databases
theorem proving
case study
user defined
real time
neural network
data mining
learning algorithm
artificial intelligence
data structure
artificial neural networks
theorem prover
algebraic operations