503 search results - page 16 / 101 » Interpolative Boolean Logic |
106
click to vote
ISMVL
2007
IEEE
15 years 8 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 ...
83
Voted
SYNTHESE
2008
15 years 2 months ago
2008
IGPL
2010
15 years 29 days ago
2010
104
click to vote
CADE
2010
Springer
15 years 3 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...