Inhabitation for Non-idempotent Intersection Types.

Antonio Bucciarelli Delia Kesner Simona Ronchi Della Rocca

Published in: CoRR (2017)

Keyphrases

machine learning
database
learning algorithm
information systems
knowledge base
case study
computational complexity
preprocessing
lower bound
artificial neural networks
query processing