A Mechanical Proof of the Termination of Takeuchi's Function.

J. Strother Moore

Published in: Inf. Process. Lett. (1979)

Keyphrases

databases
database
data mining
multiresolution
theorem proving
mechanical design
term rewriting
rewrite systems
real time
real world
metadata
type checking
natural deduction