Finite Failures and Partial Computations in Concurrent Logic Languages.
Moreno FalaschiGiorgio LeviPublished in: FGCS (1988)
Keyphrases
- expressive power
- linear temporal logic
- highly expressive
- logic programming
- predicate logic
- formal language
- modal logic
- constraint language
- language identification
- modal operators
- classical logic
- multi valued
- root cause
- mutual exclusion
- automated reasoning
- proof theory
- failure detection
- target language
- programs written
- cross lingual
- monadic datalog