Logical Characterisation of Parameterised Bisimulations.

Divyanshu Bagga S. Arun-Kumar

Published in: ICTAC (2017)

Keyphrases

logical representation
logical reasoning
data sets
information systems
similarity measure
search algorithm
management system
logical properties