Keyphrases
- quantum computation
- logic circuits
- relational databases
- relational data
- logic synthesis
- database language
- classical logic
- data model
- multi valued
- modal logic
- entity relationship
- relational model
- multi relational
- automated reasoning
- quantum computing
- algebraic operators
- asynchronous circuits
- quantum mechanics
- formal theory
- predicate logic