27 Maggio, 2008
Sezione di Geometria, Algebra e loro applicazioni
Church-Turing thesis in algebra
Sinisa Crvenkovic, University of Novi Sad
Aula Seminari III piano
Abstract
We will present examples of varieties of algebras having solvable word problems and undecidable equational theory.