10666 search results - page 6 / 2134 » Quantum programming languages |
FCSC
2008
13 years 7 months ago
2008
ICALP
2005
Springer
14 years 11 days ago
2005
Springer
Abstract: The quantum adversary method is one of the most versatile lower-bound methods for quantum algorithms. We show that all known variants of this method are equivalent: spect...
ENTCS
2007
13 years 6 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
TLCA
2005
Springer
14 years 10 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
AIEDAM
2008
13 years 7 months ago
2008
We demonstrate the use of genetic programming in the automatic invention of quantum computing circuits that solve problems of potential theoretical and practical significance. We ...