C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Rewriting Strategy to Verify Observational Congruence.
Paola Inverardi
Monica Nesi
Published in:
Inf. Process. Lett. (1990)
Keyphrases
</>
rewrite rules
databases
learning environment
relational databases
selection strategy
optimal strategy