Strong Normalization of Moggis's Computational Metalanguage.

Christian Doczkal

Published in: Arch. Formal Proofs (2010)

Keyphrases

databases
artificial intelligence
multi agent
wide range
special case
normalization method
computer vision
case study
image segmentation
computational complexity
np hard
medical images
computational models