| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 交互和结构的系统III：BV和Pomset逻辑的复杂性 | L^e Th`anh D~ung Nguy^en and Lutz Stra{ss}burger | 2209.07825 | cs.LO | 2023-06-06 |
| 关于CNF转换用于SAT枚举的论文 | Gabriele Masina, Giuseppe Spallitta and Roberto Sebastiani | 2303.14971 | cs.LO | 2023-06-06 |
| 证明概率项重写的几乎必然内部终止性：使用依赖对 | Jan-Christoph Kassing, J"urgen Giesl | 2305.11741 | cs.LO | 2023-06-06 |
| 证明带有列表的C程序终止 | Jera Hensel, J"urgen Giesl | 2305.12159 | cs.LO | 2023-06-06 |
| 分布式自证逻辑：语义、复杂性和应用于访问控制 | Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker | 2306.02774 | cs.LO | 2023-06-06 |
| Lean的mathlib中的标量操作 | Eric Wieser | 2108.10700 | cs.LO | 2023-06-05 |
| 具有显式宇宙多态性的类型理论 | Marc Bezem, Thierry Coquand, Peter Dybjer, Mart''in Escard''o | 2212.03284 | cs.LO | 2023-06-05 |
| 时间支配的逻辑 | Thomas Studer | 2306.01455 | cs.LO | 2023-06-05 |
| 自动多面体抽象证明 | Nicolas Amat (LAAS, LAAS-VERTICS), Silvano Dal Zilio (LAAS-VERTICS, LAAS), Didier Le Botlan (LAAS-VERTICS, LAAS) | 2306.01466 | cs.LO | 2023-06-05 |
| 三阶匹配是可判定的。 | Gilles Dowek | 2306.01473 | cs.LO | 2023-06-05 |
| 从证明理论到理论的理论 | Gilles Dowek | 2306.00478 | cs.LO | 2023-06-02 |
| 公理 vs. 重写规则：从完备性到削减消除 | Gilles Dowek | 2306.00495 | cs.LO | 2023-06-02 |
| 一阶逻辑模型下的自动定理证明：类型理论与集合论之间的差异 | Gilles Dowek | 2306.00498 | cs.LO | 2023-06-02 |
| 通过跨网络资源挖掘获得的表示定理提示 | Marco B. Caminati and Juliana K. F. Bowles | 2306.00584 | cs.LO | 2023-06-02 |
| HyperATL*: 多智能体系统中的超属性逻辑 | Raven Beutner, Bernd Finkbeiner | 2203.07283 | cs.LO | 2023-05-31 |
| 分层基础作为模论理论 | Gilles Dowek | 2305.18837 | cs.LO | 2023-05-31 |
| 搜索与探索：POMDP中的共生策略合成 | Roman Andriushchenko, Alexander Bork, Milan v{C}ev{s}ka, Sebastian Junges, Joost-Pieter Katoen, Filip Mac''ak | 2305.14149 | cs.LO | 2023-05-30 |
| 元MeTTa：MeTTa的操作语义 | Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell, and Adam Vandervorst | 2305.17218 | cs.LO | 2023-05-30 |
| 逻辑程序的外部行为与重构的验证 | Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple | 2305.17485 | cs.LO | 2023-05-30 |
| MSO变换的范畴 | Miko{l}aj Boja''nczyk | 2305.18039 | cs.LO | 2023-05-30 |
| 透置型：技术报告 | Andreas Nuyts (KU Leuven) | 2008.08530 | cs.LO | 2023-05-29 |
| 跨穹窿：Pi型的右伴随 | Andreas Nuyts (KU Leuven) and Dominique Devriese (Vrije Universiteit Brussel) | 2008.08533 | cs.LO | 2023-05-29 |
| 马尔可夫决策过程作为分布变换器：面向安全目标的仿射不变合成 | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, {DJ}or{dj}e v{Z}ikeli''c | 2305.16796 | cs.LO | 2023-05-29 |
| 使用PBPO+的图重写和重标记：拟拓扑的统一理论 | Roy Overbeek, J"org Endrullis, Alo"is Rosset | 2203.01032 | cs.LO | 2023-05-26 |
| 使用加权子图计数的方式终止图转换系统 | Roy Overbeek, J"org Endrullis | 2303.07812 | cs.LO | 2023-05-26 |