Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleA decision procedure for well-formed linear quantum cellular automata.AuthorsDürr, Christoph; LêThanh, Huong; Santha, MiklosPublicationRandom Structures & Algorithms, 1997, Vol 11, Issue 4, p381ISSN1042-9832Publication typeArticleDOI10.1002/(SICI)1098-2418(199712)11:4<381::AID-RSA6>3.0.CO;2-V