Net Refinement by Pullback Rewriting.

Renate Klempien-Hinrichs

Published in: FoSSaCS (1998)

Keyphrases

intravascular ultrasound
rewriting rules
rewrite rules
query rewriting
high frequency
key technologies
cross sectional
refinement process