A Deterministic Lazy Narrowing Calculus.

Aart Middeldorp Satoshi Okui

Published in: J. Symb. Comput. (1998)

Keyphrases

black box
randomized algorithms
data sets
database
information systems
automated theorem proving
real time
databases
genetic algorithm
optimal solution
video sequences
lower bound
digital divide
formal language
relational calculus