Results 301 to 305 of about 20,713 (305)

3‐pJ, 82‐MHz optical logic gates in a room‐temperature GaAs‐AlGaAs multiple‐quantum‐well étalon

Applied Physics Letters, 1985
W Wiegmann, Jewell J L, Lee Y H
exaly  

Floyd--hoare logic for quantum programs

ACM Transactions on Programming Languages and Systems, 2011
Mingsheng Ying, Yingmingsheng
exaly  

LK, LJ, Dual Intuitionistic Logic, and Quantum Logic

Notre Dame Journal of Formal Logic, 2004
exaly  

Quantum logic of quantifiers

Journal of Philosophical Logic, 1977
openaire   +2 more sources

Against Quantum Logic

Analysis, 1983
openaire   +1 more source