Implementing Parallel Counters with Four-Valued Threshold Logic.
K. Wayne CurrentDouglas A. MowPublished in: IEEE Trans. Computers (1979)
Keyphrases
- multi valued
- logic programming
- classical logic
- parallel processing
- shared memory
- proof theory
- distributed memory machines
- valued semantics
- parallel hardware
- threshold selection
- distributed memory
- floating point
- efficient implementation
- automated reasoning
- parallel computing
- parallel algorithm
- expressive power
- search algorithm