Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- logic programming
- modal logic
- classical logic
- computational properties
- quantum computing
- quantum mechanics
- sound and complete axiomatization
- dynamic logic
- asynchronous circuits
- predicate logic
- logical framework
- information retrieval
- quantum inspired
- low power
- information systems