Locally clocked pipelines and dynamic logic.

G. N. Hoyer Gin Yee Carl Sechen

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2002)

Keyphrases

dynamic logic
reasoning about actions
low power
modal logic
propositional dynamic logic
imperative programs
classical first order logic
big data
real time
expert systems
knowledge representation
first order logic
multiple input