Previous

Universality and undecidability go hand in hand, reports Der Standard
Next

Halos and undecidability of tensor stable positive maps