Machines, logic and quantum physics.
David DeutschArtur EkertRossella LupacchiniPublished in: Bull. Symb. Log. (2000)
Keyphrases
- quantum computation
- quantum mechanics
- logic circuits
- logic synthesis
- logic programming
- quantum computing
- artificial intelligence
- information retrieval
- low power
- multi valued
- classical logic
- deontic logic
- sound and complete axiomatization
- quantum inspired
- asynchronous circuits
- set theory
- computational properties
- modal logic
- evolutionary algorithm
- computer science
- website
- information systems