Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages.

Mika Hirvensalo

Browse the full SOFSEM paper archive.