Logical Step-Indexed Logical Relations.

Derek Dreyer Amal Ahmed Lars Birkedal

Published in: LICS (2009)

Keyphrases

logical structure
post processing
data mining
spatial relations
databases
computer vision
decision making
database systems
information retrieval systems
truth values
logical properties
logical rules