Search results
Formalized Mathematics > 2014 > 22 > 2 > 125-155
Discussiones Mathematicae - General Algebra and Applications > 2001 > 21 > 1 > 115-122
Formalized Mathematics > 2014 > 22 > 2 > 125-155
Discussiones Mathematicae - General Algebra and Applications > 2001 > 21 > 1 > 115-122