Hennessy-Milner Theorems via Galois Connections.

Harsh Beohar Sebastian Gurke Barbara König Karla Messing

Published in: CoRR (2022)

Keyphrases

formal concept analysis
formal concepts
galois lattices
image segmentation
database
genetic algorithm
computer vision
similarity measure
multiscale