An Efficient Representation of Arithmetic for Term Rewriting.

Dave Cohen Phil Watson

Published in: RTA (1991)

Keyphrases

term rewriting
theorem prover
theorem proving
image representation
operational semantics
data sets
artificial intelligence
intelligent systems
spatial relations
representation scheme