Login / Signup
Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory.
David Darais
David Van Horn
Published in:
CoRR (2015)
Keyphrases
</>
formal concept analysis
main contribution
neural network
lightweight
conceptual framework
galois lattices
database
multiscale
artificial neural networks
evolutionary algorithm
multi class
computational model
formal concepts