Keyphrases
- asynchronous circuits
- formal language
- linear temporal logic
- transition systems
- state machine
- high level
- logic programming
- modal logic
- formal methods
- operational semantics
- formal verification
- databases
- multi valued
- model checking
- knowledge representation
- linear logic
- data mining
- real time
- database
- active rules
- information systems
- information retrieval