Inferring Type Isomorphisms Generically.

Frank Atanassow Johan Jeuring

Published in: MPC (2004)

Keyphrases

databases
information retrieval
social networks
website
three dimensional
multiscale
computational complexity
viewpoint
control system
end users