%0 Journal Article %1 journals/rsa/DurrLS97 %A Dürr, Christoph %A Thanh, Huong Lê %A Santha, Miklos %D 1997 %J Random Struct. Algorithms %K dblp %N 4 %P 381-394 %T A decision procedure for well-formed linear quantum cellular automata. %U http://dblp.uni-trier.de/db/journals/rsa/rsa11.html#DurrLS97 %V 11

@article{journals/rsa/DurrLS97, added-at = {2012-04-14T00:00:00.000+0200}, author = {Dürr, Christoph and Thanh, Huong Lê and Santha, Miklos}, biburl = {https://www.bibsonomy.org/bibtex/2b4db2cda4f84e7a1836da801416bd263/dblp}, ee = {http://dx.doi.org/10.1002/(SICI)1098-2418(199712)11:4<381::AID-RSA6>3.0.CO;2-V}, interhash = {362f935b4577b61ebb9840b557dc8a35}, intrahash = {b4db2cda4f84e7a1836da801416bd263}, journal = {Random Struct. Algorithms}, keywords = {dblp}, number = 4, pages = {381-394}, timestamp = {2012-04-17T11:48:27.000+0200}, title = {A decision procedure for well-formed linear quantum cellular automata.}, url = {http://dblp.uni-trier.de/db/journals/rsa/rsa11.html#DurrLS97}, volume = 11, year = 1997 }