Scaling trends in adiabatic logic.

Jürgen Fischer Philip Teichmann Doris Schmitt-Landsiedel

Published in: Conf. Computing Frontiers (2005)

Keyphrases

trend detection
classical logic
multi valued
real time
asynchronous circuits
defeasible logic
automated reasoning
similarity measure
databases
database
relational databases
logic programming
modal logic
multi agent
website
neural network
predicate logic
proof theory