| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 并发性与概率：消除混乱，以组合方式 | Roberto Bruni, Hern''an Melgratti, Ugo Montanari | 1710.04570 | cs.LO | 2023-06-22 |
| 定时会话类型 | Massimo Bartoletti and Tiziana Cimoli and Maurizio Murgia | 1710.05388 | cs.LO | 2023-06-22 |
| WSTS正向分析，第三部分：Karp-Miller树 | Michael Blondin, Alain Finkel, Jean Goubault-Larrecq | 1710.07258 | cs.LO | 2023-06-22 |
| 多项式微分方程中的代数、余代数和最小化 | Michele Boreale | 1710.08350 | cs.LO | 2023-06-22 |
| 有界和无界非确定性的外延和内涵语义 | James Laird | 1710.10203 | cs.LO | 2023-06-22 |
| 凸分布集合中的终止 | Ana Sokolova and Harald Woracek | 1710.10402 | cs.LO | 2023-06-22 |
| 析取基础：模态逻辑的正常形式和模型论 | Sebastian Enqvist and Yde Venema | 1710.10706 | cs.LO | 2023-06-22 |
| Stavi定理的证明 | Alexander Rabinovich | 1711.03876 | cs.LO | 2023-06-22 |
| 斯特曼的层次定理 | Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt | 1711.05497 | cs.LO | 2023-06-22 |
| Krom片段中的困难SAT相关推理任务是否变得更容易？ | Nadia Creignou, Reinhard Pichler, Stefan Woltran | 1711.07786 | cs.LO | 2023-06-22 |
| 状态之间的距离与谓词之间的距离 | Bart Jacobs and Abraham Westerbaan | 1711.09740 | cs.LO | 2023-06-22 |
| 时态系统的行为等价性 | Tomasz Brengos, Marco Peressotti | 1711.10233 | cs.LO | 2023-06-22 |
| 大小、成本和容量：一种用于难度随机QBF的语义技术 | Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde | 1712.03626 | cs.LO | 2023-06-22 |
| 非幂等交叉类型的居住化 | Antonio Bucciarelli and Delia Kesner and Simona Ronchi Della Rocca | 1712.03829 | cs.LO | 2023-06-22 |
| 建模拟方块类型论的公理在一个拓扑中 | Ian Orton and Andrew M. Pitts | 1712.04864 | cs.LO | 2023-06-22 |
| 线性逻辑中的泰勒展开可逆 | Daniel de Carvalho | 1712.05505 | cs.LO | 2023-06-22 |
| 基于交集类型的混合组合综合 | Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris D"udder, Ugo de'Liguoro, Jakob Rehof | 1712.06906 | cs.LO | 2023-06-22 |
| 余代数行为度量 | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara K"onig | 1712.07511 | cs.LO | 2023-06-22 |
| 伴侣、因果关系和密度 | Damien Pous, Jurriaan Rot | 1712.08526 | cs.LO | 2023-06-22 |
| 广义过程的有保护和无保护迭代 | Sergey Goncharov, Lutz Schr"oder, Christoph Rauch, Maciej Pir''og | 1712.09574 | cs.LO | 2023-06-22 |
| Martin-Lof的归纳定义的经典系统与循环证明不等价。 | Stefano Berardi, Makoto Tatsuta | 1712.09603 | cs.LO | 2023-06-22 |
| 有根分歧保持分支相似性是一个同余关系 | Rob van Glabbeek, Bas Luttik, Linda Spaninks | 1801.01180 | cs.LO | 2023-06-22 |
| 事件结构中的动态因果关系 | Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann | 1801.02857 | cs.LO | 2023-06-22 |
| 几乎每个简单类型的lambda项都有一个较长的β-还原序列 | Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada | 1801.03886 | cs.LO | 2023-06-22 |
| 模态$μ$-演算的一些模型理论：语法特征化语义属性 | Ga"elle Fontaine and Yde Venema | 1801.05994 | cs.LO | 2023-06-22 |