Termination in higher-order concurrent calculi.
Romain DemangeonDaniel HirschkoffDavide SangiorgiPublished in: J. Log. Algebraic Methods Program. (2010)
Keyphrases
- higher order
- high order
- natural images
- pairwise
- markov random field
- case study
- markov models
- lambda calculus
- rewrite systems
- term rewriting
- mutual exclusion
- conditional random fields
- active rules
- knowledge base
- type checking
- sequent calculi
- lower order
- spatial relations
- bayesian networks
- concurrent programs
- qualitative spatial and temporal reasoning