Computation over algebraic structures and a classification of undecidable problems. Gaßner, C. Mathematical Structures in Computer Science, 27(8):1386–1413, Cambridge University Press, 2017.
doi  bibtex   
@ARTICLE{Gas17,
  author = {Ga{\ss}ner, Christine},
  title = {Computation over algebraic structures and a classification of undecidable
	problems},
  journal = {Mathematical Structures in Computer Science},
  year = {2017},
  volume = {27},
  pages = {1386--1413},
  number = {8},
  doi = {10.1017/S0960129516000116},
  file = {Gas17.pdf:Gas17.pdf:PDF},
  publisher = {Cambridge University Press}
}

Downloads: 0