Equational Reasoning About Quantum Protocols.
Simon J. GayIttoop Vergheese PuthoorPublished in: RC (2015)
Keyphrases
- theorem proving
- quantum computation
- spatial reasoning
- formal theory
- equational theories
- quantum computing
- qualitative reasoning
- security protocols
- probability ranking principle
- information retrieval
- artificial intelligence
- mobile devices
- real time
- multi party
- quantum evolutionary algorithm
- cryptographic protocols
- causal reasoning
- horn clauses
- website
- data mining
- neural network
- databases
- data sets