A compiled implementation of strong reduction.

Benjamin Grégoire Xavier Leroy

Published in: ICFP (2002)

Keyphrases

efficient implementation
implementation details
information systems
artificial neural networks
databases
web pages
knowledge base
case study
multiscale
preprocessing
control system
rough set theory
current status