Sign in
From rewrite rules to bisimulation congruences.
Peter Sewell
Published in:
Theor. Comput. Sci. (2002)
Keyphrases
</>
rewrite rules
rewriting rules
transformation rules
consistency constraints
sql queries
complex queries
viewpoint
management system
information retrieval systems
data distribution