Keyphrases
- database systems
- modal logic
- logic programming
- classical logic
- proof theory
- concurrency control
- dynamic allocation
- asynchronous circuits
- formal theory
- transaction processing
- concurrent execution
- epistemic logic
- set theory
- automated reasoning
- database
- expert systems
- multi agent
- machine learning
- neural network
- real time