Croitoru, Cosmina; Mehlhorn, Kurt On testing substitutability. (English) Zbl 1458.68293 Inf. Process. Lett. 138, 19-21 (2018). MSC: 68W40 91B08 91B68 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{K. Mehlhorn}, Inf. Process. Lett. 138, 19--21 (2018; Zbl 1458.68293) Full Text: DOI arXiv
Croitoru, Cosmina; Mehlhorn, Kurt Opposition frameworks. (English) Zbl 1483.68375 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 190-206 (2016). MSC: 68T27 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{K. Mehlhorn}, Lect. Notes Comput. Sci. 10021, 190--206 (2016; Zbl 1483.68375) Full Text: DOI