Keyphrases
- micron cmos
- classical logic
- modal logic
- concurrency control
- multi valued
- logic programming
- database systems
- three dimensional
- neural network
- data sets
- multiple valued
- concurrent programming
- quantifier free
- real time
- transaction processing
- database
- geometric information
- computational properties
- deontic logic
- asynchronous circuits