Search results
Open Mathematics > 2016 > 14 > 1 > 436-442
Formalized Mathematics > 2014 > 22 > 3 > 205-208
Discussiones Mathematicae - General Algebra and Applications > 2005 > 25 > 1 > 23-37
Open Mathematics > 2016 > 14 > 1 > 436-442
Formalized Mathematics > 2014 > 22 > 3 > 205-208
Discussiones Mathematicae - General Algebra and Applications > 2005 > 25 > 1 > 23-37