All Stories

  1. Computation over algebraic structures and a classification of undecidable problems