Login / Signup

On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems.

Enno Ohlebusch
Published in: CAAP (1994)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • community detection
  • knowledge sharing
  • information sharing
  • relational databases