Keyphrases
- logic synthesis
- functional programs
- automated reasoning
- mobile devices
- multi valued
- classical logic
- asynchronous circuits
- logic programming
- databases
- sound and complete axiomatization
- deontic logic
- predicate logic
- multi agent
- processing capabilities
- set theory
- intelligent environments
- image authentication
- electronic devices
- embedded systems
- expert systems
- linear logic
- program synthesis
- natural deduction
- search engine
- data sets