%0 Journal Article %1 journals/iandc/AbadiH94 %A Abadi, Martín %A Halpern, Joseph Y. %D 1994 %J Inf. Comput. %K dblp %N 1 %P 1-36 %T Decidability and Expressiveness for First-Order Logics of Probability %U http://dblp.uni-trier.de/db/journals/iandc/iandc112.html#AbadiH94 %V 112

@article{journals/iandc/AbadiH94, added-at = {2021-02-12T00:00:00.000+0100}, author = {Abadi, Martín and Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/2c5d4912a2f7bd6ba30db3dbb98e8192e/dblp}, ee = {https://doi.org/10.1006/inco.1994.1049}, interhash = {955711a3f796121ea722e1009ea25407}, intrahash = {c5d4912a2f7bd6ba30db3dbb98e8192e}, journal = {Inf. Comput.}, keywords = {dblp}, month = {July}, number = 1, pages = {1-36}, timestamp = {2024-04-09T06:11:09.000+0200}, title = {Decidability and Expressiveness for First-Order Logics of Probability}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc112.html#AbadiH94}, volume = 112, year = 1994 }