A unified ordering for termination proving.

Akihisa Yamada Keiichirou Kusakari Toshiki Sakabe

Published in: Sci. Comput. Program. (2015)

Keyphrases

term rewrite systems
partial order
unified model
information retrieval
artificial neural networks
genetic algorithm
artificial intelligence
image processing
three dimensional
multiscale
computational complexity
medical images
total ordering