DILL: Specifying Digital Logic in LOTOS.
Kenneth J. TurnerRichard O. SinnottPublished in: FORTE (1993)
Keyphrases
- logic programming
- digital media
- modal logic
- digital video
- digital libraries
- deontic logic
- predicate logic
- temporal ordering
- machine learning
- proof theory
- asynchronous circuits
- digital curves
- classical logic
- logical framework
- multi valued
- automated reasoning
- digital objects
- power consumption
- digital images
- artificial intelligence
- learning algorithm