Bisimilarity Via Unique-Solution Techniques.

Davide Sangiorgi

Published in: ICTCS (2018)

Keyphrases

linear equations
decision trees
integer programming
linear systems
data mining
information systems
clustering algorithm
database systems
face recognition
multiscale
optimal solution
wide range
mobile robot
mathematical model