Artificial Intelligence
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Reasoning about Grover's quantum search algorithm using probabilistic wp
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
An introduction to quantum computing for non-physicists
ACM Computing Surveys (CSUR)
Quantum computation and quantum information
Quantum computation and quantum information
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
A Categorical Semantics of Quantum Protocols
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
An introduction to quantum cryptography
Crossroads
Hi-index | 0.00 |
For this issue, Nick Papanikolaou brings us an introduction to the subject of quantum logic and a survey of the relevant literature, including a discussion of logics for specification and analysis of quantum information systems.