Bisimulation congruence of chi calculus.

Published in: Inf. Comput. (2003)

Keyphrases

socio technical
information gain
natural deduction
real world
automated deduction
data sets
computer vision
clustering algorithm
decision trees
image sequences
text categorization
optimal planning