Adam Grabowski. Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant. In Tamás Mihálydeák, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Düntsch, Zbigniew Suraj, Davide Ciucci, editors, Rough Sets - International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019, Proceedings. Volume 11499 of Lecture Notes in Computer Science, pages 225-238, Springer, 2019. [doi]
Abstract is missing.