Independence and Concurrent Separation Logic.
Jonathan HaymanGlynn WinskelPublished in: Log. Methods Comput. Sci. (2008)
Keyphrases
- databases
- classical logic
- multi valued
- modal logic
- real time
- logic programming
- learning algorithm
- information systems
- sound and complete axiomatization
- computational properties
- probability distribution
- conditional independence
- neural network
- independence assumption
- expert systems
- predicate logic
- formal theory
- asynchronous circuits
- linear logic
- concurrent programs
- artificial intelligence
- micron cmos