Relative Undecidability in Term Rewriting: I. The Termination Hierarchy.

Alfons Geser Aart Middeldorp Enno Ohlebusch Hans Zantema

Published in: Inf. Comput. (2002)

Keyphrases

term rewriting
rewrite systems
theorem prover
theorem proving
operational semantics
knuth bendix
hierarchical structure
higher level
description logics
first order logic
probabilistic planning