Intersection Types and Termination Properties.

George Koletsos

Published in: Fundam. Informaticae (2012)

Keyphrases

desirable properties
artificial intelligence
database
data sets
query processing
databases
neural network
machine learning
feature selection
three dimensional
face recognition
control system
topological properties
key properties
term rewriting