All-Optical Reconfigurable Logic Unit with Optically Controlled Microcavity Switches.

Mohit Prasad Sukhdev Roy

Published in: OSC (2010)

Keyphrases

low cost
real time
automated reasoning
reconfigurable architecture
general purpose
programming language
multi valued
logical framework
computational properties
defeasible logic
proof theory