Transport via Partial Galois Connections and Equivalences.

Kevin Kappelmann

Published in: Arch. Formal Proofs (2023)

Keyphrases

connected components
formal concept analysis
real world
data mining
formal concepts
real time
data sets
artificial neural networks
binary images
relational algebra