The Decision Problem for the Probabilities of Higher-Order Properties

Phokion G. Kolaitis, Moshe Y. Vardi. The Decision Problem for the Probabilities of Higher-Order Properties. In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, 25-27 May 1987, New York City, NY, USA. pages 425-435, ACM, 1987.

Authors

Phokion G. Kolaitis

This author has not been identified. Look up 'Phokion G. Kolaitis' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google