id: 50189421
dt: j
an: 50189421
au: Dürr, Christoph; Thanh, Huong Lê; Santha, Miklos
ti: A decision procedure for well-formed linear quantum cellular automata
so: Random Struct. Algorithms 11, No. 4, 381-394 (1997).
py: 1997
pu: 
la: EN
cc: 
ut: 
ci: 
li: