2PCDAL: Two-phase clocking dual-rail adiabatic logic.

Yasuhiro Takahashi Zhongyu Luo Toshikazu Sekine Nazrul Anuar Nayan Michio Yokoyama

Published in: APCCAS (2012)

Keyphrases

high speed
logic programming
modal logic
multi valued
asynchronous circuits
automated reasoning
classical logic
computational properties
circuit design
abductive reasoning
dual formulation
databases
deontic logic
formal theory
predicate logic
set theory
primal dual
evolutionary algorithm
information systems