Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra.
Yuxiang PengMingsheng YingXiaodi WuPublished in: PLDI (2022)
Keyphrases
- algebraic expressions
- algebraic geometry
- algebraic structure
- knowledge base
- data model
- quantum computation
- algebraic structures
- boolean algebra
- computer programs
- reasoning process
- reasoning systems
- database systems
- maximal tractable
- qualitative spatial
- reasoning tasks
- spatial reasoning
- relational algebra
- knowledge representation
- real numbers
- quantum inspired
- qualitative reasoning
- geometrical interpretation
- query language
- search algorithm
- spatial representation and reasoning