On the equation xt- » xt+q in categories.
Imre Simon : an exceptional graduate student
This short note reviews the main contributions of the Ph.D. thesis of Imre Simon. His graduate work had major impact on algebraic theory of automata and thirty years later we are in a good position to appreciate how sensitive he was in selecting good problems, and how clever in solving them!
Catégories et langages de dot-depth un
Imre Simon: an exceptional graduate student
This short note reviews the main contributions of the Ph.D. thesis of Imre Simon. His graduate work had major impact on algebraic theory of automata and thirty years later we are in a good position to appreciate how sensitive he was in selecting good problems, and how clever in solving them!
Varieties of finite categories
Finite categories and regular languages
Polyabelian loops and Boolean completeness
We consider the question of which loops are capable of expressing arbitrary Boolean functions through expressions of constants and variables. We call this property . 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 if it is an iterated affine quasidirect product of Abelian groups; polyabelianness coincides with solvability for...
Page 1