Authors: POINSOT, LAURENT¹ laurent.poinsot@lipn.univ-paris13.fr, POTT, ALEXANDER² alexander.pott@ovgu.de, Ding, Cunsheng, Wang, Qi

Superior Title: International Journal of Foundations of Computer Science. Sep2011, Vol. 22 Issue 6, p1351-1367. 17p. 2 Charts.

Subject Terms: *MATHEMATICS, MATHEMATICAL functions, NONABELIAN groups, NONLINEAR theories, MATHEMATICAL mappings, FINITE groups, MAXIMA & minima