GaAs pipelined dynamic logic.

David H. K. Hoe C. André T. Salama

Published in: Integr. (1991)

Keyphrases

dynamic logic
injection lasers
gallium arsenide
modal logic
room temperature
reasoning about actions
data flow
imperative programs
parallel architecture
agent programming
linear array
light emitting
expert systems
relational databases
first order logic
propositional dynamic logic