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