Keyphrases
- delay insensitive
- logic synthesis
- low cost
- chip design
- logic programming
- belief revision
- functional programs
- random access memory
- power consumption
- propositional logic
- sound and complete axiomatization
- predicate logic
- classical logic
- multi valued
- modal logic
- high speed
- set theory
- epistemic logic
- automated reasoning
- texture synthesis
- logical framework
- circuit design
- truth values
- program synthesis
- low power
- vlsi circuits
- knowledge representation