Keyphrases
- flow analysis
- higher order
- higher order logic
- lambda calculus
- information flow
- high order
- dynamic logic
- logic programming
- natural images
- recursive programs
- forensic analysis
- markov random field
- pairwise
- low order
- multi valued
- modal logic
- conditional random fields
- computational properties
- declarative semantics
- stable models
- functional programs
- logic programs
- lower order
- computer programs
- information systems
- data management
- proof theory
- predicate calculus
- predicate logic
- automated reasoning
- classical logic
- fixpoint