Publications
Some pseudovariety joins involving the pseudovariety of finite groups. Semigroup Forum. 1988;37:53-57.Edit
Some quasi-ordered classes of finite commutative semigroups. Semigroup Forum. 1985;32:189-200.Edit
Subword complexity of profinite words and subgroups of free profinite semigroups. Internat. J. Algebra Comput.. 2006;16:221-258.Edit
Sur certains systèmes d'équations avec contraintes dans un groupe libre–-addenda. Port. Math. (N.S.). 2001;58:379-387.Edit
Sur certains systèmes d'équations avec contraintes dans un groupe libre. Portugal. Math.. 1999;56:409-417.Edit
Syntactic and global semigroup theory: a synthesis approach. In: Algorithmic problems in groups and semigroups (Lincoln, NE, 1998). Birkhäuser Boston, Boston, MA; 2000. 1. p. 1-23p. (Trends Math.).Edit
A syntactical proof of locality of DA. Internat. J. Algebra Comput.. 1996;6:165-177.Edit
Tameness of pseudovarieties of semigroups. S\=urikaisekikenky\=usho Kōky\=uroku. 2000:8-16.Edit
[2004-21] Tameness of pseudovariety joins involving R .Edit
Tameness of pseudovariety joins involving R. Monatsh. Math.. 2005;146:89-111.Edit
Tameness of some locally trivial pseudovarieties. Comm. Algebra. 2003;31:61-77.Edit
Tameness of the pseudovariety of abelian groups. Internat. J. Algebra Comput.. 2005;15:327-338.Edit
[2013-10] On the topological semigroup of equational classes of finite functions under composition .Edit
On the topological semigroup of equational classes of finite functions under composition. J. of Mult.-Valued Logic & Soft Computing. 2017;28(1):5-28.Edit
[2017-9] Towards a pseudoequational proof theory .Edit
On the transition semigroups of centrally labeled Rauzy graphs. Internat. J. Algebra Comput.. 2012;22:1250018, 25.Edit
A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups. Semigroup Forum. 1993;46:90-97.Edit
The ω-inequality problem for concatenation hierarchies of star-free languages. Forum Mathematicum. 2018;30:663-679.Edit