Login / Signup
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