Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe. Classification of Alignments Between Concepts of Formal Mathematical Systems. In Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke, editors, Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Volume 10383 of Lecture Notes in Computer Science, pages 83-98, Springer, 2017. [doi]
Abstract is missing.