The multiplicative fragment of the Yanov equational theory

AbstractWe give a finite equational axiomatization for +-free identities of (regular) languages which contain the empty word. The axioms for the whole equational theory of such languages were given by Yanov