Conference record of the ninth annual Acm Symposium on Theory of computing : papers presented at the Simposium Boulder (Colorado) May 2-4 1977 : sponsored by the Association for Computing Machinery and Special Interest Group on Automata and Computability Theory with the Cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and the University of Colorado |