P-OPALS: pure optical-parallel array logic system.
Jun TanidaTsuyoshi KonishiYoshiki IchiokaPublished in: Proc. IEEE (1994)
Keyphrases
- focal plane
- logic programming
- processor array
- modal logic
- parallel implementation
- classical logic
- linear array
- parallel execution
- logical framework
- automated reasoning
- general purpose
- computational properties
- distributed memory
- digital circuits
- parallel computation
- epistemic logic
- fiber optic
- parallel processing
- sound and complete axiomatization