A Decision Procedure for Unitary Linear Quantum Cellular Automata

Christoph Dürr, Miklos Santha. A Decision Procedure for Unitary Linear Quantum Cellular Automata. SIAM Journal on Computing, 31(4):1076-1089, 2002. [doi]

@article{DurrS02,
  title = {A Decision Procedure for Unitary Linear Quantum Cellular Automata},
  author = {Christoph Dürr and Miklos Santha},
  year = {2002},
  url = {http://epubs.siam.org/sam-bin/dbq/article/32770},
  researchr = {https://researchr.org/publication/DurrS02},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  volume = {31},
  number = {4},
  pages = {1076-1089},
}