| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 顺序决策问题，依赖类型和通用解决方案 | Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin Brady | 1610.07145 | cs.LO | 2023-06-22 |
| 基础量子力学中的可计算性 | Eike Neumann, Martin Pape and Thomas Streicher | 1610.09209 | cs.LO | 2023-06-22 |
| 双仿和抽象的游戏 | David De Frutos Escrig, Jeroen J.A. Keiren and Tim A.C. Willemse | 1611.00401 | cs.LO | 2023-06-22 |
| 同步和异步通信组件的兼容性特性 | Rolf Hennicker, Michel Bidoit | 1611.03656 | cs.LO | 2023-06-22 |
| 代数交叉类型一致性问题 | Andrej Dudenhefner, Moritz Martens, Jakob Rehof | 1611.05672 | cs.LO | 2023-06-22 |
| 具有升级功能的条件转换系统的余代数处理 | Harsh Beohar and Barbara K"onig and Sebastian K"upper and Alexandra Silva and Thorsten Wi{ss}mann | 1612.05002 | cs.LO | 2023-06-22 |
| 自然变换作为重写规则和单子组合 | Dexter Kozen | 1612.07273 | cs.LO | 2023-06-22 |
| 延拓保守性。Sikorski定理 | Davide Rinaldi, Daniel Wessel | 1612.07345 | cs.LO | 2023-06-22 |
| 关于量域值拓扑空间的拓扑性注记 | Hongliang Lai and Walter Tholen | 1612.09504 | cs.LO | 2023-06-22 |
| $ω_1$处的幽灵 | Paul Blain Levy | 1612.09514 | cs.LO | 2023-06-22 |
| 余代数谓词逻辑的模型论与证明论 | Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schr"oder | 1701.03773 | cs.LO | 2023-06-22 |
| 关于高阶概率子递归 | Flavien Breuvart, Ugo Dal Lago, Agathe Herrou | 1701.04786 | cs.LO | 2023-06-22 |
| 使用直觉主义模态逻辑对开放双模似性进行表征 | Ki Yung Ahn, Ross Horne, Alwen Tiu | 1701.05324 | cs.LO | 2023-06-22 |
| Ologisms（奥洛格主义） | Ruggero Pagnan | 1701.05408 | cs.LO | 2023-06-22 |
| 可撤销性、游戏和会话合约的协调器 | Franco Barbanera and Ugo de'Liguoro | 1701.06142 | cs.LO | 2023-06-22 |
| 基于SOS的非确定性概率过程的模态分解 | Valentina Castiglioni, Daniel Gebler and Simone Tini | 1701.08330 | cs.LO | 2023-06-22 |
| 具有否定的高阶逻辑程序的外延语义 | Panos Rondogiannis, Ioanna Symeonidou | 1701.08622 | cs.LO | 2023-06-22 |
| 彼得里自动机 | Paul Brunet and Damien Pous | 1702.01804 | cs.LO | 2023-06-22 |
| 马尔可夫链上的等价距离的完整量化推导系统 | Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare | 1702.02528 | cs.LO | 2023-06-22 |
| 卷积代数：关系卷积、广义模态与关联代数 | Brijesh Dongol, Ian J. Hayes and Georg Struth | 1702.04603 | cs.LO | 2023-06-22 |
| SAT中的局部冗余：阻塞子句的泛化 | Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere | 1702.05527 | cs.LO | 2023-06-22 |
| 直觉层次图逻辑：语义与证明理论 | Simon Docherty and David Pym | 1702.05795 | cs.LO | 2023-06-22 |
| 在SMT中运用有限集合和基数约束的推理 | Kshitij Bansal, Clark Barrett, Andrew Reynolds, Cesare Tinelli | 1702.06259 | cs.LO | 2023-06-22 |
| 关于理论扩展中的插值和符号消除 | Viorica Sofronie-Stokkermans | 1702.06620 | cs.LO | 2023-06-22 |
| 索引嵌套推理的句法消除的诱导 | Revantha Ramanayake | 1703.01356 | cs.LO | 2023-06-22 |