Stepwise Construction of the Dedekind-MacNeille Completion (Research Note)

Bernhard Ganter, Sergei O. Kuznetsov. Stepwise Construction of the Dedekind-MacNeille Completion (Research Note). In Marie-Laure Mugnier, Michel Chein, editors, Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS 98, Montpellier, France, August 10-12, 1998, Proceedings. Volume 1453 of Lecture Notes in Computer Science, pages 295-302, Springer, 1998. [doi]

Abstract

Abstract is missing.