Gilles Barthe, Charlie Jacomme, Steve Kremer. Universal equivalence and majority of probabilistic programs over finite fields. In Holger Hermanns, Lijun Zhang 0001, Naoki Kobayashi 0001, Dale Miller 0001, editors, LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. pages 155-166, ACM, 2020. [doi]
@inproceedings{BartheJK20,
title = {Universal equivalence and majority of probabilistic programs over finite fields},
author = {Gilles Barthe and Charlie Jacomme and Steve Kremer},
year = {2020},
doi = {10.1145/3373718.3394746},
url = {https://doi.org/10.1145/3373718.3394746},
researchr = {https://researchr.org/publication/BartheJK20},
cites = {0},
citedby = {0},
pages = {155-166},
booktitle = {LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020},
editor = {Holger Hermanns and Lijun Zhang 0001 and Naoki Kobayashi 0001 and Dale Miller 0001},
publisher = {ACM},
isbn = {978-1-4503-7104-9},
}