| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 超越逻辑编程的法律推理 | Ha-Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh | 2306.16632 | cs.LO | 2023-06-30 |
| 通过翻译和表格法对具有递归的模态逻辑进行复杂性结果的研究 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ing''olfsd''ottir | 2306.16881 | cs.LO | 2023-06-30 |
| 关于Bisimilarity下Milner的正则表达式证明系统的共归重新表述 | Clemens Grabmayer | 2203.09501 | cs.LO | 2023-06-29 |
| 扩展寻址机、显式替换、PCF、可定义性、完全抽象 | Benedetto Intrigila and Giulio Manzonetto and Nicolas Munnich | 2306.13756 | cs.LO | 2023-06-27 |
| 一个对$mathcal{ALCH}$的可废弃扩展的连接方法 | Renan Fernandes (1), Fred Freitas (1), Ivan Varzinczak (2, 3 and 4) and Pedro PM Farias (1 and 5) ((1) Centro de Inform''atica - Universidade Federal de Pernambuco, (2) LIASD - Universit''e Paris 8, (3) CAIR - University of Cape Town, (4) ISTI - CNR and (5) ARCE, Public Services Regulation Agency-CE) | 2306.09561 | cs.LO | 2023-06-23 |
| 透过可访问路径研究行为 | Christophe Fouquer''e and Myriam Quatrini | 1403.3772 | cs.LO | 2023-06-22 |
| 无保护递归在共归纳恢复上的应用 | Sergey Goncharov, Lutz Schr"oder, Christoph Rauch, and Julian Jakob | 1405.0854 | cs.LO | 2023-06-22 |
| $pi$-演算在行为上是完备且轨道有限可执行的 | Bas Luttik and Fei Yang | 1410.4512 | cs.LO | 2023-06-22 |
| 数据字中MTL和TPTL的路径检查 | Shiguang Feng, Markus Lohrey, Karin Quaas | 1412.3644 | cs.LO | 2023-06-22 |
| 逐层计算的Weihrauch完备性 | Arno Pauly, Willem Fouch''e, George Davie | 1505.02091 | cs.LO | 2023-06-22 |
| 余代数无限轨迹与Kleisli模拟 | Natsuki Urabe and Ichiro Hasuo | 1505.06819 | cs.LO | 2023-06-22 |
| 打造你自己的算术 II：正确性 | Giorgi Japaridze (Department of Computing Sciences, Villanova University) | 1510.08566 | cs.LO | 2023-06-22 |
| 标记马尔可夫决策过程中的追踪细化 | Nathana"el Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi | 1510.09102 | cs.LO | 2023-06-22 |
| 弗罗贝尼乌斯拟单子的连贯性与线性证明的几何 | Lawrence Dunn and Jamie Vicary | 1601.05372 | cs.LO | 2023-06-22 |
| 马尔科夫原理在类型论中的独立性 | Thierry Coquand and Bassel Mannaa | 1602.04530 | cs.LO | 2023-06-22 |
| 模态逻辑的双重语境演算 | G. A. Kavvos | 1602.04860 | cs.LO | 2023-06-22 |
| 非确定性和概率布尔谢自动机的公平模拟：一个共代数视角 | Natsuki Urabe and Ichiro Hasuo | 1606.04680 | cs.LO | 2023-06-22 |
| 透过近似算子实现的领域 | Zhiwei Zou, Qingguo Li, Weng Kin Ho | 1607.01164 | cs.LO | 2023-06-22 |
| 离散概率分布的超标准化和调节 | Bart Jacobs | 1607.02790 | cs.LO | 2023-06-22 |
| 何赵问题 | Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, and Xiaoyong Xi | 1607.03286 | cs.LO | 2023-06-22 |
| PCF的递归层次结构是严格的 | John Longley | 1607.04611 | cs.LO | 2023-06-22 |
| 概率性按推值调用 | Thomas Ehrhard and Christine Tasson | 1607.04690 | cs.LO | 2023-06-22 |
| 自然数和整数的数据类型定义重写系统 | Jan A. Bergstra and Alban Ponse | 1608.06212 | cs.LO | 2023-06-22 |
| 广义树的代数和逻辑描述 | Bruno Courcelle | 1609.09675 | cs.LO | 2023-06-22 |
| 关于会话和无限数据 | Paula Severi and Luca Padovani and Emilio Tuosto and Mariangiola Dezani-Ciancaglini | 1610.06362 | cs.LO | 2023-06-22 |