Deriving bisimulation relations from path based equivalence checkers.

Kunal Banerjee Dipankar Sarkar Chittaranjan A. Mandal

Published in: Formal Aspects Comput. (2017)

Keyphrases

equivalence relation
rough set theory
rough sets
granular computing
real time
data sets
social networks
information retrieval
search engine
evolutionary algorithm
first order logic
concept lattice
temporal relations
causal relations