Nie jesteś zalogowany | Zaloguj się

On Systems of Equations Satisfied in All Commutative Finite Semigroups

Prelegent(ci)
Pawel Parys
Afiliacja
Uniwersytet Warszawski
Termin
14 marca 2007 14:15
Pokój
p. 5870
Seminarium
Seminarium „Teoria automatów”

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