Congruence Types.

Gilles Barthe Herman Geuvers

Published in: CSL (1995)

Keyphrases

data sets
information systems
viewpoint
multiresolution
artificial intelligence
decision trees
high quality
multi agent systems
varying degrees