Practical considerations of clock-powered logic.

William C. Athas

Published in: ISLPED (2000)

Keyphrases

high speed
modal logic
logic programming
classical logic
power consumption
predicate logic
proof theory
sound and complete axiomatization
data mining
digital circuits
multi valued
deductive reasoning
delay insensitive
asynchronous circuits
automated reasoning
natural language
search engine