Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting.

Franco Barbanera Maribel Fernández

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

Keyphrases

higher order
complex systems
information systems
management system
knowledge based systems
high order
database
retrieval systems
conditional random fields
building blocks
natural images
description logics
control system
pairwise
expert systems
multimedia
neural network