Deriving Bisimulation Congruences: 2-Categories Vs Precategories.

Vladimiro Sassone Pawel Sobocinski

Published in: FoSSaCS (2003)

Keyphrases

databases
wide range
object categories
database
similarity measure
expert systems