Search in concurrent logic languages.

Matthew M. Huntbach

Published in: SAC (1995)

Keyphrases

search algorithm
search space
expressive power
search strategy
databases
modal logic
information retrieval
digital libraries
text summarization
search tools
search efficiency