A Unified Ordering for Termination Proving.

Akihisa Yamada Keiichirou Kusakari Toshiki Sakabe

Published in: CoRR (2014)

Keyphrases

term rewrite systems
partial ordering
term rewriting
knuth bendix
decision making
case study
partial order
rewrite systems
data sets
artificial intelligence
information systems
reinforcement learning
lower bound
multi valued
unified model
shows a significant improvement