| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 多关系的决定论 | Hitoshi Furusawa, Walter Guttmann, Georg Struth | 2305.11344 | cs.LO | 2023-06-16 |
| 多关系的模态代数 | Hitoshi Furusawa, Walter Guttmann, Georg Struth | 2305.11346 | cs.LO | 2023-06-16 |
| 加权图的展开和覆盖 | Bruno Courcelle | 2212.07205 | cs.LO | 2023-06-14 |
| 响应系统的解耦适应性准则 | Derek Egolf, Stavros Tripakis | 2212.12455 | cs.LO | 2023-06-14 |
| 带有不完美动作的过程代数 | Yong Wang | 2306.06356 | cs.LO | 2023-06-14 |
| Lambda-Pi-Calculus中的类型能否判定的不可判定性 | Gilles Dowek | 2306.07599 | cs.LO | 2023-06-14 |
| Datalog 带度量时态运算符的稳定模型语义 | Przemys{l}aw A. Wa{l}k{e}ga, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev | 2306.07625 | cs.LO | 2023-06-14 |
| 高效迭代程序与分布式数据集合 | Sarah Chlyah, Nils Gesbert, Pierre Geneves, Nabil Layaida | 2306.07690 | cs.LO | 2023-06-14 |
| 两层类型论与应用 | Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler | 1705.03307 | cs.LO | 2023-06-13 |
| 安瑟姆的模态本体论证的机械分析 | John Rushby | 2205.08628 | cs.LO | 2023-06-13 |
| 多个代理按照共同规范建模软件开发的逻辑框架 | Georgios V. Pitsiladis, Petros S. Stefaneas | 2211.01341 | cs.LO | 2023-06-13 |
| 多关系的内部结构 | Hitoshi Furusawa, Walter Guttmann, Georg Struth | 2305.11342 | cs.LO | 2023-06-13 |
| 行为度量的定量分级语义和谱 | Jonas Forster, Lutz Schr"oder, Paul Wild | 2306.01487 | cs.LO | 2023-06-12 |
| 类型系统立方体的完整证明综合方法 | Gilles Dowek (DEDUCTEAM) | 2306.05835 | cs.LO | 2023-06-12 |
| 可表示基本递归函数的演算中模式匹配的不可决性 | Gilles Dowek | 2306.05876 | cs.LO | 2023-06-12 |
| 初次不成功：通过多次执行实现扩展的可监测性 | Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb | 2306.05229 | cs.LO | 2023-06-09 |
| 统一高斯概率和非确定性的一个类别 | Dario Stein, Richard Samuelson | 2204.14024 | cs.LO | 2023-06-08 |
| 二阶抽象语法的E-一致化 | Nikolai Kudasov | 2302.05815 | cs.LO | 2023-06-08 |
| 笛卡尔一致微分范畴 | Thomas Ehrhard (IRIF (UMR\_8243)), Aymeric Walch (IRIF (UMR\_8243)) | 2303.06952 | cs.LO | 2023-06-08 |
| 自动机上的一阶量化 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain | 2306.04210 | cs.LO | 2023-06-08 |
| RTAEval：用于评估运行时保证逻辑的框架 | Kristina Miller and Christopher K. Zeitler and William Shen and Mahesh Viswanathan and Sayan Mitra | 2306.04585 | cs.LO | 2023-06-08 |
| 不动点理论 -- 倒置 | Paolo Baldan, Richard Eggert, Barbara K"onig, Tommaso Padoan | 2101.08184 | cs.LO | 2023-06-07 |
| 依赖类型理论中基于扩展的度量构建及其在积分中的应用 | Reynald Affeldt and Cyril Cohen | 2209.02345 | cs.LO | 2023-06-07 |
| 仅知识和共同知识的数学基础（扩展版） | Marcos Cramer, Samuele Pollaci, Bart Bogaerts | 2306.03267 | cs.LO | 2023-06-07 |
| 整数程序的自动复杂性分析通过三角形弱非线性循环 | Nils Lommen, Fabian Meyer, J"urgen Giesl | 2205.08869 | cs.LO | 2023-06-06 |