Full abstraction for nominal general references.

Nikos Tzevelekos

Published in: LICS (2007)

Keyphrases

special case
closely related
databases
high level
image processing
multiscale
video sequences
search algorithm