The Inhabitation Problem for Non-idempotent Intersection Types.

Antonio Bucciarelli Delia Kesner Simona Ronchi Della Rocca

Published in: IFIP TCS (2014)

Keyphrases

decision trees
database
real time
databases
neural network
artificial intelligence
computer vision
multiscale
data structure
expert systems
special case