| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 计数复杂类的描述性复杂度 | Marcelo Arenas, Martin Mu~noz and Cristian Riveros | 1805.02724 | cs.LO | 2023-06-22 |
| 线性序中点和区间的一阶综合理论（第一部分） | Willem Conradie, Salih Durhan, Guido Sciavicco | 1805.08425 | cs.LO | 2023-06-22 |
| 统一与对数空间 | Cl''ement Aubert and Marc Bagnol | 1805.11988 | cs.LO | 2023-06-22 |
| 有限系统上的双模拟与模拟的复杂性 | Moses Ganardi, Stefan G"oller, Markus Lohrey | 1806.00256 | cs.LO | 2023-06-22 |
| 流动逻辑 | Orna Kupferman, Gal Vardi | 1806.05956 | cs.LO | 2023-06-22 |
| 方程的分歧和唯一解 | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi | 1806.11354 | cs.LO | 2023-06-22 |
| 参数化时态自动机中的语言保持问题 | ''Etienne Andr''e, Didier Lime and Nicolas Markey | 1807.07091 | cs.LO | 2023-06-22 |
| MSO+U的弱版本的不可判定性 | Miko{l}aj Boja''nczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith | 1807.08506 | cs.LO | 2023-06-22 |
| 非确定性、概率和终止系统的迹理论 | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli | 1808.00923 | cs.LO | 2023-06-22 |
| 共归纳类型的操作性解释 | {L}ukasz Czajka | 1808.05059 | cs.LO | 2023-06-22 |
| 无穷λ演算的一种新的共归融合证明 | {L}ukasz Czajka | 1808.05481 | cs.LO | 2023-06-22 |
| 纳什均衡与双模拟不变性 | Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge | 1808.09213 | cs.LO | 2023-06-22 |
| 本文题目翻译为：具有闭合谓词的本体中介查询的数据复杂性 | Carsten Lutz, Inanc Seylan, and Frank Wolter | 1809.00134 | cs.LO | 2023-06-22 |
| 重访基于值传递的B"ohm树：从它们的Taylor展开角度来看 | Emma Kerinec, Giulio Manzonetto, Michele Pagani | 1809.02659 | cs.LO | 2023-06-22 |
| 线性序中点和区间的一阶综合理论 (第二部分) | Willem Conradie, Salih Durhan and Guido Sciavicco | 1809.04468 | cs.LO | 2023-06-22 |
| 具有给定交集类型的术语集合研究 | Andrew Polonsky and Richard Statman | 1809.08169 | cs.LO | 2023-06-22 |
| 固定点组合器作为高阶固定点生成器的固定点 | Andrew Polonsky | 1810.02239 | cs.LO | 2023-06-22 |
| 递归方案、MSO逻辑和U量词 | Pawe{l} Parys | 1810.04763 | cs.LO | 2023-06-22 |
| 在λ-演算中对多值逻辑进行编码 | Fer-Jan de Vries | 1810.07667 | cs.LO | 2023-06-22 |
| 并发中的雕塑 | Uli Fahrenberg, Christian Johansen, Christopher A. Trotter, Krzysztof Ziemia''nski | 1812.02008 | cs.LO | 2023-06-22 |
| 补全图片：带有逆向操作的分级模态逻辑的复杂性 | Bartosz Bednarczyk, Emanuel Kiero''nski, Piotr Witkowski | 1812.04413 | cs.LO | 2023-06-22 |
| 有序余代数的莫斯逻辑 | Marta B''ilkov''a, Matv{e}j Dost''al | 1901.06547 | cs.LO | 2023-06-22 |
| 线性逻辑中独特的完美匹配、禁止转换和证明网格 | L^e Th`anh D~ung Nguy^en | 1901.10247 | cs.LO | 2023-06-22 |
| 减少图表的收敛性和交换性 | J"org Endrullis, Jan Willem Klop, Roy Overbeek | 1901.10773 | cs.LO | 2023-06-22 |
| 关于$B$-项的性质 | Mirai Ikebuchi and Keisuke Nakano | 1901.11010 | cs.LO | 2023-06-22 |