| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 模型检测有界变量一阶逻辑的参数化空间复杂度 | Yijia Chen, Michael Elberfeld, Moritz M"uller | 1703.01860 | cs.LO | 2023-06-22 |
| 三值几何分辨的包含算法 | Hans de Nivelle | 1703.02830 | cs.LO | 2023-06-22 |
| 可逆多方协议的因果一致性 | Claudio Antares Mezzina, Jorge A. P''erez | 1703.06021 | cs.LO | 2023-06-22 |
| 状态与效应三角形的配方 | Bart Jacobs | 1703.09034 | cs.LO | 2023-06-22 |
| 关系图模型的应用 | Flavien Breuvart and Giulio Manzonetto and Domenico Ruoppolo | 1703.10382 | cs.LO | 2023-06-22 |
| 基于索引线性逻辑的MALL交互几何 | Masahiro Hamano | 1704.02711 | cs.LO | 2023-06-22 |
| 动态程序的策略：重新开始并摸索前行 | Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume | 1704.07998 | cs.LO | 2023-06-22 |
| 判定轨迹等价性的简化语义 | David Baelde and St''ephanie Delaune and Lucca Hirschi | 1704.08540 | cs.LO | 2023-06-22 |
| 可判定不动点逻辑中的可定义性与插值问题 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom | 1705.01823 | cs.LO | 2023-06-22 |
| 分层集合的语言是可合流且强正规化的。 | Murdoch J. Gabbay | 1705.07767 | cs.LO | 2023-06-22 |
| 有限行为的适当函子与不动点 | Stefan Milius | 1705.09198 | cs.LO | 2023-06-22 |
| 实值模态逻辑 | Denisa Diaconescu, George Metcalfe, Laura Schn"uriger | 1706.02854 | cs.LO | 2023-06-22 |
| 非确定性λ项的Taylor展开的归一化，通过资源向量的并行缩减 | Lionel Vaux | 1706.04700 | cs.LO | 2023-06-22 |
| 一阶谱与二元关系的注释 | Eryk Kopczynski and Tony Tan | 1706.08691 | cs.LO | 2023-06-22 |
| 时空属性的定性和定量监测与SSTL | L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, M. Massink | 1706.09334 | cs.LO | 2023-06-22 |
| 分布双相似性通过凸代数的力量 | Filippo Bonchi, Alexandra Silva, and Ana Sokolova | 1707.02344 | cs.LO | 2023-06-22 |
| 无线网络八卦协议中的等式推理 | Ruggero Lanotte, Massimo Merro and Simone Tini | 1707.03215 | cs.LO | 2023-06-22 |
| 覆盖问题 | Thomas Place and Marc Zeitoun | 1707.03370 | cs.LO | 2023-06-22 |
| 抽象隐马尔可夫模型：量化信息流的单子论述 | Annabelle McIver and Carroll Morgan and Tahiry Rabehaja | 1708.01688 | cs.LO | 2023-06-22 |
| 名称生成的证明相关逻辑关系 | Nick Benton, Martin Hofmann, Vivek Nigam | 1708.05193 | cs.LO | 2023-06-22 |
| 宇宙过程 | Yuxi Fu | 1708.06010 | cs.LO | 2023-06-22 |
| 在图序中定义递归谓词 | Ramanathan S. Thinniyam | 1709.03060 | cs.LO | 2023-06-22 |
| 规范模型与模态团队逻辑的复杂性 | Martin L"uck | 1709.05253 | cs.LO | 2023-06-22 |
| 分离逻辑的石头类型对偶 | Simon Docherty and David Pym | 1710.03021 | cs.LO | 2023-06-22 |
| 拓扑学的斯科特收敛定理 | Hadrian Andradi and Weng Kin Ho | 1710.03115 | cs.LO | 2023-06-22 |