Login / Signup

On Confluence of One-Rule Trace-Rewriting Systems.

Celia WrathallVolker Diekert
Published in: Math. Syst. Theory (1995)
Keyphrases
  • rewriting systems
  • association rules
  • rewriting rules
  • active databases
  • databases
  • knowledge base
  • description logics
  • update operators