special issue dedicated to the second edition of the conference AutoMathA: from Mathematics to Applications
New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages