正式校对档案，第2023卷
第2023、2023卷
斯蒂芬·霍卢布 , 马丁·拉斯卡 :
不保留原始性的二进制代码。 斯蒂芬·霍卢布 , 斯泰潘·斯塔罗斯塔 :
由两个元素代码生成的两个幺半群的交集。 弗兰克·J·巴尔巴赫 :
库克-莱文定理。 阿斯塔·哈尔克 :
合成完整性。 安东尼·博尔吉 , 阿德里安·多尼亚·马特奥 :
严格的欧米茄类别。 约翰内斯·奥曼·波霍拉 , 马格努斯·奥·米林 , 田中美姬 :
分流程序的Hoare逻辑。 马修·多蒂 :
概率逻辑的Suppes定理。 贾斯敏·克里斯蒂安·布兰切特 , 齐秋 , 索菲·图雷特 :
给定条款循环。 胡舒伟（Shuwei Hu） :
ABY3乘法和数组置乱。 凯萨琳娜·克鲁泽 :
格问题的硬度。 罗德里戈·拉亚 :
爱德华兹椭圆曲线的群定律。 马修·多蒂 :
概率不等式的完备微积分。 安德烈·波佩斯库 :
重命名增强集（Rensets）和基于重命名的递归。 埃明·卡拉耶尔 :
扩展器图形。 迈克·斯坦尼特 , 爱德华·希金斯 , 哈尼尔·安德雷卡 , 朱迪特·马达拉斯 , 伊斯特万·内梅蒂 , Gergely Székely公司 :
无快速Than-Light观察员（GenRel）。 蒂鲍特·达迪尼尔 :
CommCSL的形式化：一种用于证明并发程序中信息流安全性的关系并发分离逻辑。 埃明·卡拉耶尔 :
分布式不同元素。 蒂鲍特·达迪尼尔 :
超Hoare逻辑的形式化：证明程序超属性的逻辑。 查尔斯·斯塔茨 :
任意基数中自然数的位置表示法。 马丁·德沙奈斯 :
SCL（FOL）演算的形式化：一阶逻辑的简单子句学习。 Sunpill Kim公司 , Yong Kiam Tan（陈勇健） :
Schwartz-Zippel引理。 迈克·斯坦尼特 :
停顿问题在马拉门特-霍加斯时空中是可以解决的。 Mnacho Echenim公司 , 迈赫迪·姆哈拉 , Coraline Mori公司 :
CHSH不等式：Tsirelson的上界和其他结果。 安东·丹尼尔金 , 洛奇骑士 :
三平方定理。 卢卡斯·史蒂文斯 :
MLSS决策程序。 尼尔斯·克莱默 :
树枚举。 沃尔特·古特曼 , 乔治·斯特鲁斯 :
多重关系的内部结构、决定论和模态代数。 雷内·蒂曼 , 埃利亚斯·温宁格 :
一种经验证的加权路径顺序的有效实现。 A.惠特利 :
加密标准。 克里斯蒂安·达尔维特 :
泽肯多夫定理。 阿克塞尔·克杰尔德·弗杰拉德·克里斯福特（Axel Kjeld Fjelrad Christfort） , 瑟伦·德博伊斯 :
DCR语法和执行等效标记。 埃明·卡拉耶尔 , 曼努埃尔·埃贝尔 :
可执行随机算法。 马克西米利安·斯皮茨 :
任意数字系统的格雷码。 马丁·劳 :
厄利·帕瑟（Earley Parser）。 乔治·斯特鲁斯 , 卡梅隆·卡克 :
模态量子数、对合量子数、Dedekind量子数。 李兆光 , 叶正坤 , Angeliki Koutsoukou-Argyraki公司 :
多边形数定理。 山田秋久 , 杰雷米·杜布特 :
在定向集上形式化结果。 乔治·斯特鲁斯 :
Catoids、Categories、Groupoids。 拉尔斯·胡佩尔 :
固定长度矢量。 马蒂亚斯·沙克·拉宾 :
塞瓦定理。 平田美川 , Yasuhiko Minamide公司 :
拟Borel空间上的S-有限测度单子。 平田美川 :
标准Borel空间。 本杰明·比斯平 , 路易莎·蒙塔纳里 :
耦合的相似性和反相似性，以及如何计算它们。 罗伯特·萨赫特勒本 :
输入/输出语言之间的一致性关系。 劳伦斯·C·保尔森 :
欧拉多面体公式。 凯文·卡佩尔曼 :
Isabelle/ML的统一实用程序。 切尔西-埃德蒙兹 :
组合数学和Lovasz局部引理的一般概率技术。 切尔西-埃德蒙兹 :
Hypergraph（Hypergraph）。 沃尔特·古特曼 :
Stone关系代数的基数与表示。 切尔西-埃德蒙兹 , 劳伦斯·C·保尔森 :
Hypergraph着色边界。 阿塔·凯斯金 :
Eudoxus Reals公司。 凯萨琳娜·克鲁泽 , 曼努埃尔·埃贝尔 :
消除重复因素算法。 曼努埃尔·埃贝尔 , 凯萨琳娜·克鲁泽 :
完美的球场。 凯文·卡佩尔曼 :
通过部分伽罗瓦连接和等价物进行传输。 平田美川 :
分解定理。 安德斯·施利奇特克鲁尔 , 莫滕·孔加德学校 , 吉尔·斯尔巴 , 德米特里·特拉泰尔 :
标记的过渡系统。 安德斯·施利奇特克鲁尔 , 莫滕·孔加德学校 , 吉尔·斯尔巴 , 德米特里·特拉泰尔 :
下推系统。 哈维尔·迪亚斯 :
Q0的元理论。 Cárolos Laméris :
名义G-自动机的Myhill-Nerode定理。 曼努埃尔·埃贝尔 :
切比雪夫多项式。 埃明·卡拉耶尔 , Yong Kiam Tan（陈勇健） :
集中不平等。 曼努埃尔·埃贝尔 :
关于复多项式临界点几何的两个定理。 曼努埃尔·埃贝尔 :
连续体的基数。 曼努埃尔·埃贝尔 :
多对数函数。 安德斯·施利奇特克鲁尔 :
高阶逻辑Q0证明系统的稳健性。 阿塔·凯斯金 :
鞅。 曼努埃尔·埃贝尔 :
兰伯特系列。 劳伦斯·C·保尔森 :
Knuth-Morris-Pratt字符串搜索。 贝诺·特·巴伦亨 , 萨福安·塔哈 , 伯克哈特-沃尔夫 :
HOL-CSPM-HOL-CSP的建筑运营商。 凯萨琳娜·克鲁泽 :
晶体-Kyber_Security。
