Keyphrases
- modal logic
- automated reasoning
- digital circuits
- classical logic
- concurrency control
- artificial intelligence
- concurrent programming
- case study
- database systems
- predicate logic
- delay insensitive
- model checking
- transaction processing
- data structure
- multi valued
- logical framework
- computational properties
- defeasible logic
- nested transactions
- data mining