Finite Failures and Partial Computations in Concurrent Logic Languages.
Moreno FalaschiGiorgio LeviPublished in: Theor. Comput. Sci. (1990)
Keyphrases
- linear temporal logic
- expressive power
- formal language
- highly expressive
- logic programming
- modal logic
- language independent
- predicate logic
- failure detection
- classical logic
- root cause
- failure rate
- constraint language
- grammatical inference
- information retrieval
- multi valued
- context free grammars
- finite number
- cross lingual
- closure properties