Subtyping over a Lattice (Abstract).

Published in: Kurt Gödel Colloquium (1997)

Keyphrases

high level
digital libraries
database
artificial intelligence
relational databases
lattice structure
real time
real world
search engine
reinforcement learning