Efficient Recursive Subtyping.

Dexter Kozen Jens Palsberg Michael I. Schwartzbach

Published in: Math. Struct. Comput. Sci. (1995)

Keyphrases

databases
decision making
preprocessing
social networks
knowledge base
high level
cost effective
computationally expensive
datalog programs