Subtyping for F-Bounded Quantifiers and Equirecursive Types.

Published in: Logic and Program Semantics (2012)

Keyphrases

databases
social networks
feature extraction
pattern recognition
data model
first order logic
database
computer vision
decision trees
high quality
search algorithm
artificial neural networks
query processing