Formalization of Generalized Almost Distributive Lattices
Grabowski, Adam
On Square-Free Numbers
Grabowski, Adam
On the Permanent of a Matrix
Romanowicz, Ewa, Grabowski, Adam
Topological Interpretation of Rough Sets
Grabowski, Adam
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
Grabowski, Adam, Sawicki, Damian