Predavatelj: prof. dr. Siniša Crvenković z Univerze v Novem Sadu

Seminar bo izjemoma ob 13.00 uri.
 
We present examples of varieties of algebras V, in which every finitely presented algebra has decidable Word Problem, but for which no uniform algorithm exists which solves the Word Problem for an arbitrary finitely presented algebra in V. Our examples of varieties have undecidable Equational Theories.