"Classification of Alignments Between Concepts of Formal Mathematical Systems."

Dennis Müller et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics