Logic mapping on a microprocessor.
Anjali KinraHari BalachandranRegy ThomasJohn CarulliPublished in: ITC (2000)
Keyphrases
- multi valued
- high speed
- modal logic
- classical logic
- ontology mapping
- nonmonotonic logics
- predicate logic
- chip design
- linear logic
- logical framework
- circuit design
- defeasible logic
- computational properties
- sound and complete axiomatization
- deontic logic
- digital circuits
- neural network
- logic programming
- programming language
- information systems