Publication details

Rewriting in Varieties of Idempotent Semigroups

Investor logo

KLÍMA Ondřej KORBELÁŘ Miroslav POLÁK Libor

Year of publication 2011
Type Article in Proceedings
Conference Algebraic Informatics
MU Faculty or unit

Faculty of Science

Field General mathematics
Keywords Rewriting; identity problems; varieties of semigroups
Description We consider rewriting as a tool for solving identity problems in varieties of idempotent semigroups. It is known that there exist finite canonical term rewrite systems and finite canonical word rewrite systems for only a very limited number of those varieties. We present a finite canonical conditional word rewrite system for a particular variety in which the classical approaches cannot be applied. Moreover, we obtain infinite single letter deleting rewrite systems for each join-irreducible variety.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info