Transforming Termination by Self-Labelling.

Aart Middeldorp Hitoshi Ohsaki Hans Zantema

Published in: CADE (1996)

Keyphrases

cooperative
real world
data sets
image processing
rewrite systems
neural network
information systems
website
multiscale
email
data model
query language
management system
term rewriting