| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于证明论中基于约简和基于模型方法的收敛性 | Gilles Dowek (TYPICAL) | 2305.01439 | cs.LO | 2023-05-03 |
| 枚举正式语言的证明 | Gilles Dowek (TYPICAL), Ying Jiang (CAS) | 2305.01440 | cs.LO | 2023-05-03 |
| 简单类型的λ项的两个递减度量（扩展版） | Pablo Barenbaum, Cristian Sottile | 2304.12440 | cs.LO | 2023-05-02 |
| HermesBDD：一个多核和多平台的二进制决策图包 | Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa | 2305.00039 | cs.LO | 2023-05-02 |
| Logipedia：一个形式证明的多系统百科全书 | Gilles Dowek (DEDUCTEAM), Franc{c}ois Thir''e (DEDUCTEAM) | 2305.00064 | cs.LO | 2023-05-02 |
| 没有贝丝和克雷格的生活：具有标识符和角色包含的描述逻辑和模态逻辑中的定义和插值 | Alessandro Artale and Jean Christoph Jung and Andrea Mazzullo and Ana Ozaki and Frank Wolter | 2007.02736 | cs.LO | 2023-05-01 |
| 识别区域抽象域中的最小变化 | Kenny Ballou and Elena Sherman | 2304.14550 | cs.LO | 2023-05-01 |
| 编译中的逻辑本质 | Jos''e Esp''irito Santo and Filipa Mendes | 2304.14752 | cs.LO | 2023-05-01 |
| 具有析取前提的反事实因果建模语义 | Giuliano Rosella (University of Turin) and Jan Sprenger (University of Turin) | 2304.14817 | cs.LO | 2023-05-01 |
| 条件逻辑作为短路逻辑 | Jan A. Bergstra and Alban Ponse | 2304.14821 | cs.LO | 2023-05-01 |
| 轨道有限线性规划 | Arka Ghosh, Piotr Hofman, S{l}awomir Lasota | 2302.00802 | cs.LO | 2023-04-28 |
| 任意高阶λ模型的理论 | Daniel O. Mart''inez-Rivillas, Ruy J.G.B. de Queiroz | 2111.07092 | cs.LO | 2023-04-27 |
| 受限孪生宽度图的远距组合工具 | Wojciech Przybyszewski | 2202.04006 | cs.LO | 2023-04-27 |
| 分布式知识的半单纯集模型 | Eric Goubault and Roman Kniazev and J''er''emy Ledent and Sergio Rajsbaum | 2303.14976 | cs.LO | 2023-04-27 |
| 物理教堂论题与初始条件的敏感性 | Gilles Dowek | 2304.13318 | cs.LO | 2023-04-27 |
| 简单类型理论作为一个子句理论 | Gilles Dowek | 2304.13319 | cs.LO | 2023-04-27 |
| 用命题和同余来指定程序 | Gilles Dowek | 2304.13321 | cs.LO | 2023-04-27 |
| 逻辑编程的逻辑 | Marc Denecker and David S. Warren | 2304.13430 | cs.LO | 2023-04-27 |
| 有限可访问的树形伴随和Hintikka公式 | Luca Reggio and Colin Riba | 2304.12709 | cs.LO | 2023-04-26 |
| 建立因果可逆性与时间可逆性的桥梁：一种随机过程代数方法 | Marco Bernardo, Claudio A. Mezzina | 2205.01420 | cs.LO | 2023-04-25 |
| 非标准分析的有状态实现 | Bruno Dinis, ''Etienne Miquey | 2210.05346 | cs.LO | 2023-04-25 |
| 分布式系统中的上下文性 | Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes | 2210.09476 | cs.LO | 2023-04-25 |
| 前缀和后缀的逻辑在均匀性下是基本的 | Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala | 2304.11483 | cs.LO | 2023-04-25 |
| 如何证明一个证明搜索方法不是另一个方法的实例？ | Guillaume Burel (ENSIIE), Gilles Dowek | 2304.11882 | cs.LO | 2023-04-25 |
| 关于方案表达能力的研究 | Gilles Dowek, Ying Jiang | 2304.11892 | cs.LO | 2023-04-25 |