The Word Problem for Finitely Presented Quandles is Undecidable

Belk, James ; McGrail, Robert W. Moss, Lawrence S ; Leivant, Daniel ; de Queiroz, Ruy ; de Oliveira, Anjolina G ; de Paiva, Valeria ; 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 [Revista revisada por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponible