Behavioural equivalences for coalgebras with unobservable moves.

Tomasz Brengos Marino Miculan Marco Peressotti

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

relational algebra
connected components
decision making
case study
image segmentation
bayesian networks
data model
relational model