• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Rewriting Strategy to Verify Observational Congruence.

Paola InverardiMonica Nesi
Published in: Inf. Process. Lett. (1990)
Keyphrases
  • rewrite rules
  • databases
  • learning environment
  • relational databases
  • selection strategy
  • optimal strategy