On the Semantics of Refinement Calculi.

Hongseok Yang Uday S. Reddy

Published in: FoSSaCS (2000)

Keyphrases

formal semantics
reasoning tasks
information systems
database systems
semantic information
conceptual graphs