Brijder, Robert; Gyssens, Marc; Van den Bussche, Jan On matrices and \(K\)-relations. (English) Zbl 07473199 Ann. Math. Artif. Intell. 90, No. 2-3, 181-210 (2022). MSC: 68N15 68P15 16Y60 PDFBibTeX XMLCite \textit{R. Brijder} et al., Ann. Math. Artif. Intell. 90, No. 2--3, 181--210 (2022; Zbl 07473199) Full Text: DOI arXiv
McConnell, N. R.; McDougall, R. G.; Stokes, T. On base radical and semisimple classes defined by class operators. (English) Zbl 1289.08010 Acta Math. Hung. 138, No. 4, 307-328 (2013); erratum ibid. 144, No. 1, 266-268 (2014). MSC: 08C99 16N80 17A65 03B45 PDFBibTeX XMLCite \textit{N. R. McConnell} et al., Acta Math. Hung. 138, No. 4, 307--328 (2013; Zbl 1289.08010) Full Text: DOI
Höfner, Peter Semiring neighbours: an algebraic embedding and extension of neighbourhood logic. (English) Zbl 1277.03028 Romijn, Judi (ed.) et al., Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 191, 49-72 (2007). MSC: 03B70 03B44 06F07 16Y60 68Q60 PDFBibTeX XMLCite \textit{P. Höfner}, Electron. Notes Theor. Comput. Sci. 191, 49--72 (2007; Zbl 1277.03028) Full Text: DOI