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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.