Keyphrases
- asynchronous circuits
- delay insensitive
- low cost
- logic programming
- reconfigurable architecture
- classical logic
- general purpose
- digital signal
- asynchronous communication
- predicate logic
- multi valued
- automated reasoning
- hardware implementation
- low power
- modal logic
- logical framework
- nonmonotonic logics
- signal processing
- systolic array
- real time