Keyphrases
- optimal control
- multi valued
- logic programming
- modal logic
- sound and complete axiomatization
- data sets
- delay insensitive
- asynchronous circuits
- predicate logic
- automated reasoning
- object categories
- dynamic programming
- multiscale
- case study
- logical framework
- digital circuits
- artificial intelligence
- genetic algorithm
- dynamic logic
- proof theory
- neural network
- databases