Termination in Higher-Order Concurrent Calculi.

Romain Demangeon Daniel Hirschkoff Davide Sangiorgi

Published in: FSEN (2009)

Keyphrases

higher order
natural images
high order
low order
markov random field
pairwise
lower order
concurrent execution
sequent calculi
term rewriting
artificial intelligence
multiscale
database
markov models
mutual exclusion
conditional random fields
neural network