Extensions of Arithmetic For Proving Termination of Computations.

Clement F. Kent Bernard R. Hodgson

Published in: J. Symb. Log. (1989)

Keyphrases

term rewrite systems
three dimensional
learning environment
integrity constraints
efficient implementation
data mining
image processing
website
face recognition
bayesian networks
data model
efficient computation
arithmetic operations