Logic Restructuring for MUX-Based FPGAs.

José Alberto Espejo Luis Entrena Enrique San Millán Emilio Olías

Published in: EUROMICRO (1999)

Keyphrases

modal logic
classical logic
logic programming
computational properties
automated reasoning
defeasible logic
predicate logic
databases
general purpose
multi valued
field programmable gate array
neural network
machine learning
proof theory
micron cmos