Login / Signup
Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems
Max Dauchet
Thierry Heuillard
Pierre Lescanne
Sophie Tison
Published in:
Inf. Comput. (1990)
Keyphrases
</>
term rewrite systems
rewrite rules
query answering
relational algebra