| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 形式编舞语言的理论 | Franco Barbanera, Ivan Lanese, Emilio Tuosto | 2210.08223 | cs.LO | 2023-08-02 |
| 序列理论的决策程序（技术报告） | Artur Je.z, Anthony W. Lin, Oliver Markgraf, Philipp R"ummer | 2308.00175 | cs.LO | 2023-08-02 |
| 认识模态的正逻辑 | Wesley H. Holliday and Matthew Mandelkern | 2203.02872 | cs.LO | 2023-08-01 |
| 嵌入表面图的一类 | Malin Altenm"uller, Ross Duncan | 2210.08914 | cs.LO | 2023-08-01 |
| 线性、可逆计算的Curry-Howard对应 | Kostia Chardonnet, Alexis Saurin, Beno^it Valiron | 2302.11887 | cs.LO | 2023-08-01 |
| 建设性模态逻辑中证明的规范性 | Matteo Acclavio, Davide Catta, Federico Olimpieri | 2304.05465 | cs.LO | 2023-08-01 |
| 直觉主义S4可判定 | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Stra{ss}burger | 2304.12094 | cs.LO | 2023-08-01 |
| 经典序列演算中证明的语义 | Fabio Massaioli | 2307.16594 | cs.LO | 2023-08-01 |
| 解放自等价参考类型的自由定理 | Jonathan Sterling, Daniel Gratzer, Lars Birkedal | 2307.16608 | cs.LO | 2023-08-01 |
| 同余同构枚举下的分布式协议合成 | Derek Egolf, Stavros Tripakis | 2306.02967 | cs.LO | 2023-07-31 |
| 线性多类别结构的归一化协调性 | Federico Olimpieri | 2302.05755 | cs.LO | 2023-07-28 |
| 加权路径序的可验证高效实现 | Ren''e Thiemann and Elias Wenninger | 2307.14671 | cs.LO | 2023-07-28 |
| 自动机理论对加权一阶逻辑的表征 | Dhruv Nevatia and Benjamin Monmege | 2307.14707 | cs.LO | 2023-07-28 |
| 线性终止问题在N上是不可判定的。 | Fabian Mitterwallner, Aart Middeldorp and Ren''e Thiemann | 2307.14805 | cs.LO | 2023-07-28 |
| Eilenberg-Moore 煤代数的分级语义和分级逻辑 | Jonas Forster, Lutz Schr"oder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara K"onig, Karla Messing | 2307.14826 | cs.LO | 2023-07-28 |
| 泛化加权路径序列 | Teppei Saito, Nao Hirokawa | 2307.13973 | cs.LO | 2023-07-27 |
| 九头蛇战斗和交流终止机制的再探讨 | Nao Hirokawa and Aart Middeldorp | 2307.14036 | cs.LO | 2023-07-27 |
| 关于位向量算术的LCTRS中单例自环移除以实现终止 | Ayuka Matsumi, Naoki Nishida, Misaki Kojima, and Donghoon Shin | 2307.14094 | cs.LO | 2023-07-27 |
| 字符串重写系统的相对终止旧与新基准 | Dieter Hofbauer, Johannes Waldmann | 2307.14149 | cs.LO | 2023-07-27 |
| $ext{TT}^{Box}\_{{mathcal C}}$: 一族具有连续效果实现的外延类型理论 | Liron Cohen and Vincent Rahli | 2307.14168 | cs.LO | 2023-07-27 |
| 一个用于单纯模型的空间逻辑 | Michele Loreti, Michela Quadrini | 2105.08708 | cs.LO | 2023-07-26 |
| 可逆计算的公理化理论 | Ivan Lanese (Focus Team, University of Bologna/INRIA, Italy), Iain Phillips (Imperial College London, England) and Irek Ulidowski (University of Leicester, England and AGH University of Science and Technology, Krakow, Poland) | 2307.13360 | cs.LO | 2023-07-26 |
| 按值高阶重写的复杂性分析 | Cynthia Kop and Deivid Vale | 2307.13426 | cs.LO | 2023-07-26 |
| 高阶LCTRS及其终止 | Liye Guo and Cynthia Kop | 2307.13519 | cs.LO | 2023-07-26 |
| 直觉定点逻辑 | Ulrich Berger, Hideki Tsuiki | 2002.00188 | cs.LO | 2023-07-25 |