The Theory of Ground Rewrite Systems is Decidable

Max Dauchet Sophie Tison

Published in: LICS (1990)

Keyphrases

rewrite systems
quantifier free
first order logic
knuth bendix
term rewriting
database
databases
information systems
transitive closure