Asynchronous Adiabatic Logic.

Muhammad Arsalan Maitham Shams

Published in: ISCAS (2007)

Keyphrases

asynchronous circuits
delay insensitive
automated reasoning
modal logic
multi valued
classical logic
predicate logic
proof theory
neural network
artificial intelligence
e learning
case study
search algorithm
relational databases
real time
logical framework
computational properties
truth values
data mining