Implementing digital logic with sinusoidal supplies.

Kalyana C. Bollapalli Sunil P. Khatri Laszlo B. Kish

Published in: DATE (2010)

Keyphrases

modal logic
digital media
multi valued
classical logic
propositional dynamic logic
real time
learning algorithm
multiscale
high frequency
predicate logic
deontic logic
asynchronous circuits
query language
automated reasoning
set theory
epistemic logic