Transport via Partial Galois Connections and Equivalences.

Kevin Kappelmann

Published in: Arch. Formal Proofs (2023)

Keyphrases

connected components
formal concept analysis
recursive functions
database
real time
artificial neural networks
multiresolution
formal concepts