Title of article
Decidability and Expressiveness for First-Order Logics of Probability
Author/Authors
Abadi M.، نويسنده , , Halpern J. Y.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
36
From page
1
To page
36
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261401
Link To Document