Invited Talk: High-Level Methods for Quantum Computation and Information (at LICS 2004)
Authors: Samson AbramskyAbstract
Quantum information and computation is concerned with the use of quantum-mechanical systems to carry out computational and information-processing tasks. In the few short years that this approach has been studied, a number of remarkable concepts and results have emerged, most notably: ⦁ A couple of spectacular algorithms - Shor's polynomial-time algorithm for prime factorization and Grover's sub-linear search algorithm. ⦁ A number of information protocols, exemplified by quantum teleportation, which exploit quantum entanglement in an essential fashion.
BibTeX
@InProceedings{Abramsky-HighLevelMethodsfor, author = {Samson Abramsky}, title = {High-Level Methods for Quantum Computation and Information}, booktitle = {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004}, year = 2004, editor = {Harald Ganzinger}, month = {July}, pages = {410--414}, location = {Turku, Finland}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }