A Sound and Complete Projection for Global Types.

Dawit Legesse Tirore Jesper Bengtson Marco Carbone

Published in: ITP (2023)

Keyphrases

projection method
image processing
global information
search engine
database
multiresolution