Login / Signup
The DASH Prototype: Logic Overhead and Performance.
Daniel Lenoski
James Laudon
Truman Joe
David Nakahira
Luis Stevens
Anoop Gupta
John L. Hennessy
Published in:
IEEE Trans. Parallel Distributed Syst. (1993)
Keyphrases
</>
logic programming
modal logic
database
theorem proving
automated reasoning
classical logic
resource consumption
digital circuits
multi valued
logical framework
predicate logic
formal theory
deontic logic
natural deduction
propositional variables