Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths.

Dieter Hofbauer

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

Keyphrases

shortest path
recursive algorithm
high level
search algorithm
theorem proving
decision procedures
term rewriting
decision trees
similarity measure
reinforcement learning
optimal path
rewrite systems
formal proofs