Control Sets on Grammars Using Depth-First Derivations.

Published in: Math. Syst. Theory (1980)

Keyphrases

association rules
control system
search algorithm
search strategy
inference rules
branch and bound
search tree
control method
control theory
real time
search engine
search space
control strategy
alpha beta
definite clause