Login / Signup
No-Race Charge-Recycling Differential Logic (NCDL).
Seung-Moon Yoo
Sung-Mo Kang
Published in:
Great Lakes Symposium on VLSI (1999)
Keyphrases
</>
modal logic
classical logic
database
logic programming
multi valued
defeasible logic
dynamic logic
proof theory
flip flops
clustering algorithm
three dimensional
expert systems
automated reasoning
predicate logic
sound and complete axiomatization
charge coupled devices