Login / Signup

A Completion Procedure for Hierarchical Conditional Rewriting Systems.

Wadoud Bousdira
Published in: ALP (1988)
Keyphrases
  • rewriting systems
  • databases
  • data management
  • pattern matching
  • rewriting rules