State-space problem-reduction, and theorem proving—some relationships
This paper suggests a bidirectional relationship between state-space and problem-reduction representations. It presents a formalism based on multiple-input and…
State-space problem-reduction, and theorem proving—some relationships
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved