On Systems of Equations Satisfied in All Commutative Finite Semigroups

Speaker(s)

Pawel Parys

Affiliation

Uniwersytet Warszawski

Date

March 14, 2007, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

I show the algorithmic procedure for solving the problem: check if a system of equations has a solution in every commutative finite semigroup.

---