The Decision Problem for the Probabilities of Higher-Order Properties

Phokion G. Kolaitis, Moshe Y. Vardi

Browse the full STOC paper archive.