On the Existence of Hazard-Free Multi-Level Logic.

Steven M. Nowick Charles W. O'Donnell

Published in: ASYNC (2003)

Keyphrases

risk assessment
logic programming
predicate logic
classical logic
machine learning
information retrieval
proof theory
first order logic
multi layer
complementarity problems
asynchronous circuits
formal language
multi valued
databases
modal logic
website
information systems
data mining