Demonic diagrams - towards a graphical refinement calculus.

Published in: RelMiCS (1998)

Keyphrases

graphical representations
graphical representation
computer algebra
refinement process
real world
data mining
expert systems
query refinement
automated deduction
diagrammatic reasoning