Login / Signup
Static Extensionality Checking for Lambda-Definable Functions Over Lattices.
Kwangkeun Yi
Hyunjun Eo
Published in:
APLAS (2002)
Keyphrases
</>
information systems
databases
information retrieval
multiscale
objective function
dynamic analysis