503 search results - page 16 / 101 » Interpolative Boolean Logic |
ISMVL
2007
IEEE
15 years 3 months ago
2007
IEEE
We generalize the binary Deutsch-Jozsa algorithm to nvalued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced ...
SYNTHESE
2008
14 years 9 months ago
2008
IGPL
2010
14 years 8 months ago
2010
DLOG
2009
14 years 7 months ago
2009
CADE
2010
Springer
14 years 10 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...