Login / Signup

A decision procedure for well-formed linear quantum cellular automata.

Christoph DürrHuong Lê ThanhMiklos Santha
Published in: Random Struct. Algorithms (1997)
Keyphrases