| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 部分量词消除与性质生成 | Eugene Goldberg | 2303.13811 | cs.LO | 2023-05-26 |
| 什么是理论？ | Gilles Dowek (LOGICAL) | 2305.15780 | cs.LO | 2023-05-26 |
| 绑定逻辑：证明和模型 | Gilles Dowek (LOGICAL), Th''er`ese Hardin (SPI), Claude Kirchner (PROTHEO) | 2305.15782 | cs.LO | 2023-05-26 |
| 关于简单类型的函数机算：范畴语义与强规范化 | Chris Barrett | 2305.16073 | cs.LO | 2023-05-26 |
| 最小化比较关系抽象域 | Kenny Ballou and Elena Sherman | 2305.16212 | cs.LO | 2023-05-26 |
| 异步多方协同性的逻辑解释 | Marco Carbone and Sonia Marin and Carsten Sch"urmann | 2305.16240 | cs.LO | 2023-05-26 |
| 将"Adding Negation to Lambda Mu"翻译成中文为："向Lambda Mu添加否定" | Steffen van Bakel | 2109.10447 | cs.LO | 2023-05-25 |
| 具有二次参数的超几何数列的成员问题 | George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell | 2303.09204 | cs.LO | 2023-05-25 |
| 实数归纳的初步研究 | Gilles Dowek (LOGICAL) | 2305.14803 | cs.LO | 2023-05-25 |
| 关于未解释一元谓词的实数差分逻辑的可判定性 | Bernard Boigelot (1), Pascal Fontaine (1), Baptiste Vergain (1) ((1) Montefiore Institute, Universit''e de Li`ege, Belgium) | 2305.15059 | cs.LO | 2023-05-25 |
| 关于程序完成的研究，及其在求和与乘积谜题中的应用 | Vladimir Lifschitz | 2305.15360 | cs.LO | 2023-05-25 |
| 汇流作为消除割的性质 | Gilles Dowek | 2305.13790 | cs.LO | 2023-05-24 |
| 干预主义对多团队语境下的反事实推论：概率与因果关系 | Fausto Barbero and Gabriel Sandu | 2305.02613 | cs.LO | 2023-05-23 |
| 计算机科学家的字符串图表简介 | Robin Piedeleu and Fabio Zanasi | 2305.08768 | cs.LO | 2023-05-23 |
| 国际法律规范转化为形式化表达方法研究国际研讨会论文集 (LN2FR 2022) -- 与第35届国际法律知识与信息系统会议(JURIX 2022)相关 | Georg Borges, Ken Satoh, Erich Schweighofer (eds.) | 2305.12203 | cs.LO | 2023-05-23 |
| 图形证明理论 I：超越Cographs的乘法线性逻辑 | Matteo Acclavio | 2305.12975 | cs.LO | 2023-05-23 |
| 选择你的颜色：SMT中用于量化公式的树插值 | Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler | 2305.11667 | cs.LO | 2023-05-22 |
| 列举独立的线性推理 | Anupam Das, Alex Rice | 2111.05209 | cs.LO | 2023-05-19 |
| 自主类别在广义度量空间上丰富的句法方面 | Fredrik Dahlqvist and Renato Neves | 2208.14356 | cs.LO | 2023-05-18 |
| 整数算术理论的可满足性局部搜索 | Shaowei Cai, Bohan Li, Xindi Zhang | 2211.10219 | cs.LO | 2023-05-18 |
| 当我们知道一个理论是一致的时，我们知道什么？ | Gilles Dowek (DEDUCTEAM) | 2305.10012 | cs.LO | 2023-05-18 |
| 构造逻辑中Skolem定理的构造性证明 | Gilles Dowek (DEDUCTEAM), Benjamin Werner (PARTOUT) | 2305.10016 | cs.LO | 2023-05-18 |
| 并发高斯消元 | Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki | 2305.10125 | cs.LO | 2023-05-18 |
| 用公式计算：计数复杂类的逻辑特征 | Antonis Achilleos and Aggeliki Chalki | 2304.10334 | cs.LO | 2023-05-17 |
| 有限域算术上的SMT求解 | Thomas Hader, Daniela Kaufmann, Laura Kov''acs | 2305.00028 | cs.LO | 2023-05-16 |