A Verified Implementation of Narrowing

Heinz Faßbender

Published in: PLILP (1995)

Keyphrases

real time
databases
digital libraries
information technology
trade off
implementation issues
database
data sets
machine learning
information retrieval
computer science
distributed systems
efficient implementation