Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Author="Thanh, Huong L{\^{e}}"

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

A decision procedure for well-formed linear quantum cellular automata

Christoph Dürr, Huong Lê Thanh, Miklos Santha

Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96 (Grenoble, France, February 22-24, 1996)
Lecture Notes in Computer Science 1046 , 1996, pp. 281-292

Editors Claude Puech, Rüdiger Reischuk

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest

Editors		Claude Puech, Rüdiger Reischuk
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest