Keyphrases
- predicate logic
- temporal logic
- verification method
- input output
- modal logic
- meta level
- logic programming
- classical logic
- digital circuits
- file system
- data transfer
- proof theory
- natural deduction
- garbage collection
- storage systems
- multi valued
- automated reasoning
- data sets
- model checking
- neural network
- logical framework
- probability theory
- set theory
- main memory
- expressive power
- database management systems
- response time