Completeness of type assignment systems with intersection, union, and type quantifiers.

Hirofumi Yokouchi

Published in: Theor. Comput. Sci. (2002)

Keyphrases

complex systems
database
neural network
clustering algorithm
objective function
data structure
management system
building blocks
real time
artificial intelligence
search engine
website
case study
computer systems