search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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