| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 命题逻辑中的等式同构拓展证明 | Alejandro D''iaz-Caro and Gilles Dowek | 2002.03762 | cs.LO | 2023-09-01 |
| 基于LTL求解器的合成规范分解再探讨 | Josu Oca and Montserrat Hermo and Alexander Bolotov | 2307.00540 | cs.LO | 2023-09-01 |
| 一种用于EP-等价性的精简-相容格式 | Rob van Glabbeek and Peter H"ofner and Weiyou Wang | 2308.16350 | cs.LO | 2023-09-01 |
| 穆尔-彭罗斯匕首范畴 | Robin Cockett (University of Calgary), Jean-Simon Pacaud Lemay (Macquarie University) | 2308.16497 | cs.LO | 2023-09-01 |
| 通过宇宙多态扩展与预测性理论共享证明 | Thiago Felicissimo and Fr''ed''eric Blanqui | 2308.15465 | cs.LO | 2023-08-31 |
| 自下而上分层融合概率逻辑编程 | Peter Baumgartner (Data61/CSIRO), Elena Tartaglia (Data61/CSIRO) | 2308.15862 | cs.LO | 2023-08-31 |
| 比较和重新排序谓词参数的数据流分析 | Gonzague Yernaux (Faculty of Computer Science, University of Namur), Wim Vanhoof (Faculty of Computer Science, University of Namur) | 2308.15880 | cs.LO | 2023-08-31 |
| ASP中交互式冲突解决的排序策略 | Andre Thevapalan, Gabriele Kern-Isberner | 2308.15889 | cs.LO | 2023-08-31 |
| FTMPST：容错多方会话类型 | Kirstin Peters and Uwe Nestmann and Christoph Wagner | 2204.07728 | cs.LO | 2023-08-29 |
| 关系代数验证不相交集合森林 | Walter Guttmann | 2301.10311 | cs.LO | 2023-08-28 |
| 并发性质 | Yong Wang | 2304.04406 | cs.LO | 2023-08-25 |
| 基于云端的组件化应用自动部署中，优化求解器和对称性打破的基准测试（扩展摘要） | Bogdan David and Madalina Erascu | 2305.15231 | cs.LO | 2023-08-23 |
| 基于距离函数的可达性和安全性的反事实因果关系 | Julie Parreaux, Jakob Piribauer, Christel Baier | 2308.11385 | cs.LO | 2023-08-23 |
| 信息流逻辑中的可执行一阶查询 | Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche | 2210.00240 | cs.LO | 2023-08-22 |
| 有界广义超树宽下的超图同态计数：逻辑刻画 | Benjamin Scheidt and Nicole Schweikardt | 2303.10980 | cs.LO | 2023-08-22 |
| 并发估值代数的追踪模型 | Naso Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes | 2305.18017 | cs.LO | 2023-08-22 |
| 懒绑定声明式分布式系统的有时终止验证 | Francesco Di Cosmo | 2308.10007 | cs.LO | 2023-08-22 |
| 认知和时态自由描述逻辑中的非刚性指示符（扩展版本） | Alessandro Artale, Andrea Mazzullo | 2308.08640 | cs.LO | 2023-08-21 |
| 有限Petri网的组合语义 | Roberto Gorrieri | 2308.08983 | cs.LO | 2023-08-21 |
| 第19届国际终止工作坊（WST 2023）：前言、受邀演讲摘要和工具描述 | Akihisa Yamada, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, ''Etienne Payet | 2308.09536 | cs.LO | 2023-08-21 |
| 同伦类型论中的规范性与可计算性 | Dmitry Filippov | 2308.09621 | cs.LO | 2023-08-21 |
| 利用Lean定理证明器形式化化学物理 | Maxwell P. Bobbin, Samiha Sharlin, Parivash Feyzishendi, An Hong Dang, Catherine M. Wraback, and Tyler R. Josephson | 2210.12150 | cs.LO | 2023-08-17 |
| 无阻断子模型的枚举 | Giuseppe Spallitta and Roberto Sebastiani and Armin Biere | 2306.00461 | cs.LO | 2023-08-17 |
| 依赖类型理论中良基树的拓扑对应 | Maria Emilia Maietti and Pietro Sabelli | 2308.08404 | cs.LO | 2023-08-17 |
| 使用具有超时的过程代数建模互斥 | Rob van Glabbeek | 2106.12785 | cs.LO | 2023-08-16 |