Typing a Core Binary-Field Arithmetic in a Light Logic.

Emanuele Cesena Marco Pedicini Luca Roversi

Published in: FOPARA (2011)

Keyphrases

multi valued
image processing
neural network
machine learning
logic programming
modal logic
logical operations
decision trees
quantifier free