A Decision Procedure for Well-Formed Linear Quantum Cellular Automata.

Christoph Drr, Huong L Thanh, Miklos Santha

Browse the full STACS paper archive.