Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra.
Yuxiang PengMingsheng YingXiaodi WuPublished in: CoRR (2021)
Keyphrases
- algebraic expressions
- algebraic geometry
- algebraic structure
- propositional logic
- knowledge base
- reasoning systems
- reasoning tasks
- morphological operators
- regular expressions
- quantum inspired
- automated reasoning
- reasoning process
- algebraic structures
- quantum computation
- logic circuits
- quantum computing
- qualitative spatial
- database systems
- relational algebra
- databases
- quantum mechanics
- maximal tractable
- information retrieval