Abelian Logic Gates.

Alexander E. Holroyd Lionel Levine Peter Winkler

Published in: Comb. Probab. Comput. (2019)

Keyphrases

logic circuits
modal logic
classical logic
logic programming
computational properties
databases
digital circuits
predicate logic
neural network
machine learning
relational databases
defeasible logic
formal theory
algebraic properties