Choiceless Polynominal Time Computation and the Zero-One Law

Andreas Blass, Yuri Gurevich. Choiceless Polynominal Time Computation and the Zero-One Law. In Peter Clote, Helmut Schwichtenberg, editors, Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Volume 1862 of Lecture Notes in Computer Science, pages 18-40, Springer, 2000. [doi]

Authors

Andreas Blass

This author has not been identified. Look up 'Andreas Blass' in Google

Yuri Gurevich

This author has not been identified. It may be one of the following persons: Look up 'Yuri Gurevich' in Google