×
吉尔·巴特;查利·雅科姆;史蒂夫·克莱默

有限域上的普遍等价性和大多数概率程序。 （英语） Zbl 1508.68215号

ACM事务处理。计算。日志。 23，第1号，第5条，第42页（2021年）.

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
11年16日 数字理论算法；复杂性
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68第27页 数据隐私
94A60型 密码学

关键词：

程序等效性;概率程序;有限域;可判定性;复杂性
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，ACM Trans。计算。日志。23，第1号，第5条，第42页（2021；兹bl 1508.68215）
全文： 内政部