Decidability of the Confluence of Ground Term Rewriting Systems

Max Dauchet Sophie Tison Thierry Heuillard Pierre Lescanne

Published in: LICS (1987)

Keyphrases

term rewriting systems
logic programs
functional programs
description logics
query answering
definite clause
machine learning
knowledge base
data structure
database management systems
data exchange
incomplete information