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