Schmidt, Gunther; Berghammer, Rudolf Contact, closure, topology, and the linking of row and column types of relations. (English) Zbl 1231.03058 J. Log. Algebr. Program. 80, No. 6, 339-361 (2011). MSC: 03G15 03E20 06A15 68W30 PDFBibTeX XMLCite \textit{G. Schmidt} and \textit{R. Berghammer}, J. Log. Algebr. Program. 80, No. 6, 339--361 (2011; Zbl 1231.03058) Full Text: DOI
Berghammer, Rudolf; Braßel, Bernd Computing and visualizing closure objects using relation algebra and RelView. (English) Zbl 1260.68477 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 29-44 (2009). MSC: 68W30 03G15 06A15 06B23 PDFBibTeX XMLCite \textit{R. Berghammer} and \textit{B. Braßel}, Lect. Notes Comput. Sci. 5743, 29--44 (2009; Zbl 1260.68477) Full Text: DOI