%0 Journal Article %1 journals/tocl/BartheJK22 %A Barthe, Gilles %A Jacomme, Charlie %A Kremer, Steve %D 2022 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 5:1-5:42 %T Universal Equivalence and Majority of Probabilistic Programs over Finite Fields. %U http://dblp.uni-trier.de/db/journals/tocl/tocl23.html#BartheJK22 %V 23

@article{journals/tocl/BartheJK22, added-at = {2022-01-20T00:00:00.000+0100}, author = {Barthe, Gilles and Jacomme, Charlie and Kremer, Steve}, biburl = {https://www.bibsonomy.org/bibtex/2edb990353baec609ddcf23bdc9a082db/dblp}, ee = {https://doi.org/10.1145/3487063}, interhash = {2edad6c8e53cc1778f821b78d4981214}, intrahash = {edb990353baec609ddcf23bdc9a082db}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {5:1-5:42}, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Universal Equivalence and Majority of Probabilistic Programs over Finite Fields.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl23.html#BartheJK22}, volume = 23, year = 2022 }