Keyphrases
- logic synthesis
- markov chain
- logic programming
- cellular automata
- multi valued
- database
- classical logic
- predicate logic
- functional programs
- program synthesis
- modal logic
- computational properties
- asynchronous circuits
- logical framework
- proof theory
- formal language
- digital circuits
- search algorithm
- information systems
- artificial intelligence
- genetic algorithm