Quantum Relational Hoare Logic with Expectations.
Yangjia LiDominique UnruhPublished in: ICALP (2021)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- database language
- logic programming
- statistical relational learning
- relational data
- modal logic
- proof theory
- multi relational
- relational databases
- relational structures
- data model
- computational properties
- defeasible logic
- deontic logic
- classical logic
- digital circuits
- data sets
- multi valued
- automated reasoning
- relational learning
- information extraction
- neural network