Defects Tolerant Logic Gates for Unreliable Future Nanotechnologies.

Lorena Anghel Michael Nicolaidis

Published in: IWANN (2007)

Keyphrases

long term
multi valued
automated reasoning
proof theory
search algorithm
classical logic
logic circuits
databases
real world
information retrieval
information systems
logic programming
current status
logical framework