On Flowchart Theories: Part II. The Nondeterministic Case.

Gheorghe Stefanescu

Published in: Theor. Comput. Sci. (1987)

Keyphrases

real time
search engine
metadata
objective function
search algorithm
theoretical framework
domain theory
causal reasoning