Self-resetting stage logic pipelines.

Abdel Ejnioui Abdelhalim Alsharqawi

Published in: ACM Great Lakes Symposium on VLSI (2004)

Keyphrases

multi valued
predicate logic
logic programming
modal logic
automated reasoning
proof theory
information systems
asynchronous circuits
social networks
expert systems
classical logic
defeasible logic
natural deduction