Self-reset logic for fast arithmetic applications.

Miguel E. Litvin Samiha Mourad

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

Keyphrases

micron cmos
modal logic
logic programming
automated reasoning
proof theory
case study
multiple valued
database
predicate logic
arithmetic operations
nonmonotonic logics
quantifier free
predictive state representations
natural deduction
deontic logic
set theory
classical logic
multi valued
temporal logic
data sets