A BiCMOS wired-OR logic.

Yasunobu Nakase Hiroaki Suzuki Hiroshi Makino Hirofumi Shinohara Koichiro Mashiko

Published in: IEEE J. Solid State Circuits (1995)

Keyphrases

wireless networks
modal logic
multi valued
proof theory
epistemic logic
database
low cost
automated reasoning
classical logic
computational properties
nonmonotonic logics
predicate logic
modal operators
dynamic logic