27 Maggio, 2008 15:00
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 theories.