The Word Problem for Finitely Presented Quandles is Undecidable

Belk, James ; McGrail, Robert W. de Queiroz, Ruy ; de Paiva, Valeria ; de Oliveira, Anjolina G. ; Moss, Lawrence S. ; Leivant, Daniel

Logic, Language, Information, and Computation, 2015, Vol.9160, p.1-13 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível