Sign in

Infinite Normal Forms for Non-Linear Term Rewritting Systems.

Paola InverardiMonica Nesi
Published in: Theor. Comput. Sci. (1995)
Keyphrases
  • normal form
  • database design
  • functional dependencies
  • database systems
  • knowledge based systems
  • information content
  • formal definitions