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

Dieter Hofbauer

Published in: ALP (1990)

Keyphrases

theorem prover
data sets
term rewriting
theorem proving
databases
case study
high level
shortest path
database
equational theories
formal proofs
recursive algorithm
computer programs
higher level
reinforcement learning
artificial intelligence
information retrieval