Finite automata based on quantum logic and monadic second-order quantum logic.
Yongming LiPublished in: Sci. China Inf. Sci. (2010)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- modal logic
- asynchronous circuits
- quantum computing
- multi valued
- computational properties
- logic programming
- higher order
- database systems
- learning algorithm
- low power
- logical framework
- classical logic
- database
- defeasible logic
- set theory
- predicate logic
- truth values
- quantum mechanics
- relational databases
- proof theory
- neural network