77 citations · 154 across the 22 of their papers we have counts for
Showing 2017 · math.GRShow all
3 papers · 2 filters
math.GR2017
On the insertion of n-powers
J. Almeida, O. Klíma
In algebraic terms, the insertion of -powers in words may be modelled at the language level by considering the pseudovariety of ordered monoids defined by the inequality $1\le x…
math.GR2017★ 2 cited
Towards a pseudoequational proof theory
Jorge Almeida, Ondřej Klíma
A new scheme for proving pseudoidentities from a given set Σ of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Σ defines a l…
math.GR2017★ 2 cited
Nilpotency and strong nilpotency for finite semigroups
J. Almeida, M. Kufleitner, M. H. Shahzamanian
Nilpotent semigroups in the sense of Mal'cev are defined by semigroup identities. Finite nilpotent semigroups constitute a pseudovariety, , which has finite rank. The…