Abelian logic gates.

Alexander E. Holroyd Lionel Levine Peter Winkler

Published in: CoRR (2015)

Keyphrases

logic circuits
modal logic
logic programming
data mining
low power
epistemic logic
machine learning
linear temporal logic
proof theory
classical logic
multi valued
digital circuits
predicate logic
probabilistic logic
search algorithm
delay insensitive
knowledge base