Between quantum logic and concurrency.
Luca BernardinelloCarlo FerigatoLucia PomelloPublished in: QPL (2012)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- quantum computing
- modal logic
- database systems
- logic programming
- automated reasoning
- logical framework
- concurrent programming
- predicate logic
- multi valued
- classical logic
- epistemic logic
- quantum inspired
- probabilistic logic
- neural network
- nonmonotonic logics
- transaction processing
- concurrency control
- natural deduction
- proof theory
- model checking
- software systems
- fine grained
- genetic algorithm