TY  - RPRT
TI  - A decision procedure for well-formed linear quantum cellular automata
AU  - Christoph Durr
AU  - Huong LeThanh
AU  - Miklos Santha
PY  - 2000
UR  - https://arxiv.org/abs/cs/9906024
ID  - cs/9906024
ER  -