Optimal Non-deterministic Functional Logic Computations.

Published in: ALP/HOA (1997)

Keyphrases

dynamic programming
optimal solution
databases
logic programming
knowledge base
decision trees
image sequences
data structure
multi valued
asymptotically optimal