Delay-based dual-rail pre-charge logic.

Marco Bucci Luca Giancane Raimondo Luzzi Giuseppe Scotti Alessandro Trifiletti

Published in: ICECS (2009)

Keyphrases

logic programming
modal logic
high speed
proof theory
classical logic
database
automated reasoning
data sets
deontic logic
charge coupled devices
delay insensitive
critical path
truth values
predicate logic
defeasible logic
logical framework
probability theory
knowledge base
machine learning