Login / Signup

On the Normalization and Unique Normalization Properties of Term Rewrite Systems.

Guillem GodoySophie Tison
Published in: CADE (2007)
Keyphrases
  • term rewrite systems
  • database
  • database systems
  • preprocessing
  • software engineering