A Decision Procedure for Unitary Linear Quantum Cellular Automata.

Christoph Drr, Miklos Santha

Browse the full FOCS paper archive.