Jack Minker
Author Archives
This is the third report prepared by the ACM Committee on Scientific Freedom and Human Rights (CSFHR). The first was published in the March 1981 Communications and the…
This report had its genesis before the establishment in February 1980 of the Committee on Scientific Freedom and Human Rights (CSFHR). In 1978 Paul Armer, chairman of the…
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…
Shape the Future of Computing
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