A Logical Aspect of Parametric Polymorphism.

Published in: CSL (1995)

Keyphrases

databases
parametric models
logical operations
information technology
medical images
logical structure
logical representation
machine learning
image processing
image segmentation
video sequences
computational complexity
lower bound
user interface
logical reasoning