BI Hyperdoctrines and Higher-Order Separation Logic.
Bodil BieringLars BirkedalNoah Torp-SmithPublished in: ESOP (2005)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- business intelligence
- pairwise
- classical logic
- high order
- natural images
- markov random field
- multi valued
- modal logic
- automated reasoning
- neural network
- lower order
- low order
- conditional random fields
- logic programming
- information systems
- machine learning
- data mining
- epistemic logic
- asynchronous circuits
- database
- sound and complete axiomatization