Family of Fast Transforms over GF(3) Logic.

Bogdan J. Falkowski Cheng Fu

Published in: ISMVL (2003)

Keyphrases

modal logic
computational properties
special case
logic programming
classical logic
case study
proof theory
predicate logic
digital circuits
probabilistic logic
automated reasoning
temporal logic
epistemic logic
deontic logic
asynchronous circuits
database
logic synthesis