| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 高归纳-归纳类型的签名和归纳原理 | Ambrus Kaposi, Andr''as Kov''acs | 1902.00297 | cs.LO | 2023-06-22 |
| 关于普通和ω-正则行为的余代数观点 | Tomasz Brengos | 1902.02601 | cs.LO | 2023-06-22 |
| 并行削减在乘法线性逻辑中的应用：对证明网络的泰勒展开 | Jules Chouquet and Lionel Vaux Auclair | 1902.05193 | cs.LO | 2023-06-22 |
| 两变量逻辑与某些中间关系：表达能力、可满足性和成员资格 | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing | 1902.05905 | cs.LO | 2023-06-22 |
| 关于名词句法和排列不动点的研究 | Mauricio Ayala-Rinc''on, Maribel Fern''andez and Daniele Nantes-Sobrinho | 1902.08345 | cs.LO | 2023-06-22 |
| 正确且高效的反链算法用于细化检查 | Maurice Laveaux, Jan Friso Groote and Tim A.C. Willemse | 1902.09880 | cs.LO | 2023-06-22 |
| 表示索引容器最大固定点之间的连续函数 | Pierre Hyvernat | 1902.10971 | cs.LO | 2023-06-22 |
| 时序关系分解 | Dror Fried, Axel Legay, Jo"el Ouaknine, Moshe Y. Vardi | 1903.01368 | cs.LO | 2023-06-22 |
| 依赖关系原子的简洁性 | Martin L"uck and Miikka Vilander | 1903.02344 | cs.LO | 2023-06-22 |
| 无限树的函数（单子）二阶理论 | Anupam Das and Colin Riba | 1903.05878 | cs.LO | 2023-06-22 |
| 基于Riesz空间的概率逻辑 | Robert Furber and Radu Mardare and Matteo Mio | 1903.09463 | cs.LO | 2023-06-22 |
| 参数化组件化系统中的体系结构：定性和定量建模 | Maria Pittou, George Rahonis | 1904.02222 | cs.LO | 2023-06-22 |
| 名义转换系统的模态逻辑 | Joachim Parrow, Johannes Borgstr"om, Lars-Henrik Eriksson, Ram=unas Forsberg Gutkovas, Tjark Weber | 1904.02564 | cs.LO | 2023-06-22 |
| 计算维度的不可计算性 | Ludwig Staiger | 1904.13112 | cs.LO | 2023-06-22 |
| Coq中的可计算分析与连续性概念 | Florian Steinberg and Laurent Thery and Holger Thies | 1904.13203 | cs.LO | 2023-06-22 |
| 关于LPMLN程序的强等价性 | Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang | 1909.03764 | cs.LO | 2023-06-22 |
| Psi-演算重新审视：连通性与组合性 | Johannes {AA}man Pohjola | 1909.06692 | cs.LO | 2023-06-22 |
| 线性逻辑中关于种族的探索 | Wen Kokke, J. Garrett Morris, Philip Wadler | 1909.13376 | cs.LO | 2023-06-22 |
| 事件结构中的依赖表示 | G. Michele Pinna | 1910.02521 | cs.LO | 2023-06-22 |
| 具有经典证明的构造领域 | Dirk Pattinson, Mina Mohammadian | 1910.04948 | cs.LO | 2023-06-22 |
| 奇偶存在查询的动态复杂性 | Nils Vortmeier, Thomas Zeume | 1910.06004 | cs.LO | 2023-06-22 |
| 存在性二阶逻辑及具有团队语义的逻辑的并闭片段 | Matthias Hoelzel and Richard Wilke | 1910.06057 | cs.LO | 2023-06-22 |
| $zeta(3)$的无理性的形式证明 | Assia Mahboubi and Thomas Sibut-Pinote | 1912.06611 | cs.LO | 2023-06-22 |
| 参数化广播网络中的重新配置和消息丢失 | Nathalie Bertrand and Patricia Bouyer and Anirban Majumdar | 1912.07042 | cs.LO | 2023-06-22 |
| 探索直觉主义时态逻辑的丛林 | Joseph Boudou and Mart''in Di''eguez and David Fern''andez-Duque and Philip Kremer | 1912.12895 | cs.LO | 2023-06-22 |