Decidable Properties of Intersection Type Systems.

Toshihiko Kurata Masako Takahashi

Published in: TLCA (1995)

Keyphrases

databases
expert systems
data sets
complex systems
retrieval systems
structural properties
neural network
social networks
knowledge representation
intelligent systems
computer systems
knowledge based systems
learning systems
first order logic