Login / Signup
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics.
Maria Luisa Dalla Chiara
Roberto Giuntini
Roberto Leporini
Published in:
Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Keyphrases
</>
quantum computation
expressive power
modal logic
markov chain
neural network
artificial intelligence
inference rules
mathematical programming
computational power