An asynchronous ternary logic signaling system.
T. FelicijanStephen B. FurberPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2003)
Keyphrases
- asynchronous circuits
- delay insensitive
- logic programming
- modal logic
- multi valued
- predicate logic
- deontic logic
- data sets
- learning algorithm
- automated reasoning
- sound and complete axiomatization
- database
- deductive reasoning
- proof theory
- linear logic
- computational properties
- classical logic
- multi agent
- genetic algorithm
- data mining