Aligning concepts across proof assistant libraries.

Thibault Gauthier Cezary Kaliszyk

Published in: J. Symb. Comput. (2019)

Keyphrases

test bed
digital libraries
image registration
information retrieval
concept learning
concept hierarchy
genetic algorithm
domain ontology
concept formation
linear logic