1947 search results - page 6 / 390 » A presentation of Quantum Logic based on an |
77
Voted
IANDC
2006
15 years 17 days ago
2006
A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical rea...
113
click to vote
ISCA
2005
IEEE
15 years 6 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
108
click to vote
CPHYSICS
2007
15 years 16 days ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
98
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Intensive research is performed to find post-CMOS technologies. A very promising direction based on reversible logic are quantum computers. While in the domain of reversible lo...
ENTCS
2008
15 years 19 days ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...