Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy.

Alfons Geser Aart Middeldorp Enno Ohlebusch Hans Zantema

Published in: Inf. Comput. (2002)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
operational semantics
knuth bendix
description logics
probabilistic planning
training data
database
higher level
first order logic
machine translation
inference rules
lower level