Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- logic programming
- modal logic
- multi valued
- computational properties
- logical framework
- automated reasoning
- sufficient conditions
- artificial intelligence
- probabilistic logic
- classical logic
- information retrieval
- nonmonotonic logics
- epistemic logic
- quantum mechanics
- asynchronous circuits
- proof theory
- delay insensitive
- quantum computing