| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 计算机辅助证明有限域上的组合猜想：一个关于国际象棋猜想的案例研究 | Predrag Janiv{c}i''c, Filip Mari''c, Marko Malikovi''c | 1801.07528 | cs.LO | 2023-06-22 |
| 带持久性的Petri网的事件结构 | Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernan Melgratti, and Ugo Montanari | 1802.03726 | cs.LO | 2023-06-22 |
| 多项式时间内学习衍生的Ω-树语言的查询 | Dana Angluin, Timos Antonopoulos, Dana Fisman | 1802.04739 | cs.LO | 2023-06-22 |
| 自然推导风格中的经典演算的非幂等类型 | Delia Kesner and Pierre Vial | 1802.05494 | cs.LO | 2023-06-22 |
| 基于Moore路径的类型理论模型 | Ian Orton and Andrew M. Pitts | 1802.05629 | cs.LO | 2023-06-22 |
| 符号堆中带有数组的蕴涵的可判定性 | Daisuke Kimura and Makoto Tatsuta | 1802.05935 | cs.LO | 2023-06-22 |
| B"ohm树理论和Sall''e猜想中的外延程度 | Benedetto Intrigila and Giulio Manzonetto and Andrew Polonsky | 1802.07320 | cs.LO | 2023-06-22 |
| 自由完备的Wasserstein代数 | Radu Mardare, Prakash Panangaden, and Gordon D. Plotkin | 1802.07366 | cs.LO | 2023-06-22 |
| 利用能量游戏对数据字中的重复进行处理 | Diego Figueira, Anirban Majumdar and M. Praveen | 1802.07435 | cs.LO | 2023-06-22 |
| 摘要完整性，形式化 | Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler | 1802.08437 | cs.LO | 2023-06-22 |
| 可定义同构问题 | Khadijeh Keshvardoost and Bartek Klin and S{l}awomir Lasota and Joanna Ochremiak and Szymon Toru''nczyk | 1802.08500 | cs.LO | 2023-06-22 |
| 论文标题：命题证明复杂性的有限模型理论观点 | Erich Gr"adel and Martin Grohe and Benedikt Pago and Wied Pakusa | 1802.09377 | cs.LO | 2023-06-22 |
| 关于度量时态逻辑的表达能力与监控 | Hsi-Ming Ho, Jo"el Ouaknine, and James Worrell | 1803.02653 | cs.LO | 2023-06-22 |
| 有界线性团宽图的可定义分解 | Miko{l}aj Boja''nczyk, Martin Grohe and Micha{l} Pilipczuk | 1803.05937 | cs.LO | 2023-06-22 |
| 线性逻辑在带范数锥中：概率一致空间及更多 | Sergey Slavnov | 1803.06005 | cs.LO | 2023-06-22 |
| 标量和矢量mu-演算与原子 | Bartek Klin and Mateusz {L}e{l}yk | 1803.06752 | cs.LO | 2023-06-22 |
| 有限代数中带立方项的子能量成员问题 | Andrei Bulatov, Peter Mayr, ''Agnes Szendrei | 1803.08019 | cs.LO | 2023-06-22 |
| 柯里-霍华德方法对乔治·查奇综合的研究 | C''ecilia Pradic and Colin Riba | 1803.08958 | cs.LO | 2023-06-22 |
| 带有λ-类型λ表达式的扩展类型系统 | Matthias Weber | 1803.10143 | cs.LO | 2023-06-22 |
| 语法幺半群的范畴论方法 | Jiv{r}''i Adamek and Stefan Milius and Henning Urbat | 1804.03011 | cs.LO | 2023-06-22 |
| 概率重写与渐近行为：关于终止和唯一正规形式 | Claudia Faggian | 1804.05578 | cs.LO | 2023-06-22 |
| 函数生成树 | Davide Sangiorgi, Xian Xu | 1804.05797 | cs.LO | 2023-06-22 |
| 平面弦图的归一化及二次等价算法 | Antonin Delpeuch and Jamie Vicary | 1804.07832 | cs.LO | 2023-06-22 |
| 限定控制运算符的双模拟 | Dariusz Biernacki, Sergue"i Lenglet, Piotr Polesiuk | 1804.08373 | cs.LO | 2023-06-22 |
| 提升Coalgebra模态和MELL模型结构到Eilenberg-Moore范畴 | Jean-Simon Pacaud Lemay | 1804.11116 | cs.LO | 2023-06-22 |