Sign in
On Confluence Versus Strong Confluence for One-Rule Trace-Rewriting Systems.
Friedrich Otto
Published in:
Math. Syst. Theory (1995)
Keyphrases
</>
rewriting systems
rewrite systems
update operators
rewriting rules
association rules
relational databases