A Transformational Approach to Prove Outermost Termination Automatically.

Matthias Raffelsieper Hans Zantema

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

automatically generated
databases
machine learning
image processing
multimedia
clustering algorithm
cooperative
preprocessing