: A Complete And Consistent Logic For Asynchronous Digital Circuit Synthesis.

Karl M. Fant Scott A. Brandt

Published in: ASAP (1996)

Keyphrases

asynchronous circuits
delay insensitive
logic programming
modal logic
predicate logic
database
image processing
neural network
search engine
expert systems
np complete
digital media
automated reasoning
probabilistic logic
classical logic
asynchronous communication