A Decision Procedure for Well-Formed Linear Quantum Cellular Automata

Christoph Dürr, Huong Lê Thanh, Miklos Santha. A Decision Procedure for Well-Formed Linear Quantum Cellular Automata. In Claude Puech, Rüdiger Reischuk, editors, STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings. Volume 1046 of Lecture Notes in Computer Science, pages 281-292, Springer, 1996.

Authors

Christoph Dürr

This author has not been identified. Look up 'Christoph Dürr' in Google

Huong Lê Thanh

This author has not been identified. Look up 'Huong Lê Thanh' in Google

Miklos Santha

This author has not been identified. Look up 'Miklos Santha' in Google