Relative Undecidability in Term Rewriting.

Alfons Geser Aart Middeldorp Enno Ohlebusch Hans Zantema

Published in: CSL (1996)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
description logics
knuth bendix
probabilistic planning