Left Termination Turned into Termination.

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

Keyphrases

rewrite systems
term rewriting
image processing
email
data sets
artificial intelligence
high level
feature extraction
image analysis
query language
theorem proving
term rewrite systems