Page 1

Displaying 1 – 5 of 5

Showing per page

Polyabelian loops and Boolean completeness

François Lemieux, Cristopher Moore, Denis Thérien (2000)

Commentationes Mathematicae Universitatis Carolinae

We consider the question of which loops are capable of expressing arbitrary Boolean functions through expressions of constants and variables. We call this property Boolean completeness. It is a generalization of functional completeness, and is intimately connected to the computational complexity of various questions about expressions, circuits, and equations defined over the loop. We say that a loop is polyabelian if it is an iterated affine quasidirect product of Abelian groups; polyabelianness...

Currently displaying 1 – 5 of 5

Page 1