Paper: Universal equivalence and majority of probabilistic programs over finite fields (at LICS 2020)
Authors: Gilles Barthe Charlie Jacomme Steve Kremer
Abstract
No Abstract Available
BibTeX
@InProceedings{BartheJacommeKremer-Universalequivalenc, author = {Gilles Barthe and Charlie Jacomme and Steve Kremer}, title = {Universal equivalence and majority of probabilistic programs over finite fields}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {155--166}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }