| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 强需求调用演算 | Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond | 2111.01485 | cs.LO | 2023-06-22 |
| PCTL的声音近似和渐近概率双模拟 | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino | 2111.03117 | cs.LO | 2023-06-22 |
| 关联可交换同余闭包算法的模块化和组合性，附带语义属性 | Deepak Kapur | 2111.04793 | cs.LO | 2023-06-22 |
| 关于非确定性多值逻辑的演算注解 | Michael Kaminski | 2112.07377 | cs.LO | 2023-06-22 |
| 失败探测器参数验证的案例研究 | Thanh-Hai Tran, Igor Konnov, and Josef Widder | 2112.08826 | cs.LO | 2023-06-22 |
| 通用时态属性的骨架抽象 | Sophie Wallner and Karsten Wolf | 2112.08884 | cs.LO | 2023-06-22 |
| 图的（非）同构验证的证明系统 | Milan Bankovi''c, Ivan Drecun, Filip Mari''c | 2112.14303 | cs.LO | 2023-06-22 |
| 行为非等价的通用模态证明的准线性时间计算 | Thorsten Wi{ss}mann, Stefan Milius, Lutz Schr"oder | 2203.11175 | cs.LO | 2023-06-22 |
| 迈向句法认识逻辑 | Sergei Artemov | 2205.13145 | cs.LO | 2023-06-22 |
| 结构与权力：一个新兴的景观 | Samson Abramsky | 2206.07393 | cs.LO | 2023-06-22 |
| 组合代数的内部操作符 | Masahito Hasegawa | 2211.11118 | cs.LO | 2023-06-22 |
| 布尔可满足性的完整图解演算 | Tao Gu, Robin Piedeleu, Fabio Zanasi | 2211.12629 | cs.LO | 2023-06-22 |
| 重访可判定有界量化，通过Dinaturality | James Laird | 2212.04882 | cs.LO | 2023-06-22 |
| 离散概率理论中的充分统计量和分割幂等元素 | Bart Jacobs | 2212.09191 | cs.LO | 2023-06-22 |
| PCF的扩展寻址机制，具有显式替换 | Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich | 2212.11147 | cs.LO | 2023-06-22 |
| 一阶理论的可满足性模选择完整触发 | Christopher Lynch and Stephen Miner | 2306.09436 | cs.LO | 2023-06-22 |
| 关于“基于有界决策图的桶消除算法上界”的注释 | Randal E. Bryant | 2306.10337 | cs.LO | 2023-06-21 |
| 全称量词使得自动结构难以决定 | Christoph Haase and Rados{l}aw Pi''orkowski | 2306.10432 | cs.LO | 2023-06-21 |
| INC：一种可扩展的增量加权采样器 | Suwei Yang, Victor C. Liang, Kuldeep S. Meel | 2306.10824 | cs.LO | 2023-06-21 |
| 一个经典术语演算的强双模拟 | Eduardo Bonelli, Delia Kesner and Andr''es Viso | 2101.05754 | cs.LO | 2023-06-19 |
| 如何演奏手风琴。泰勒级数逼近引发的约化的（非）保守性。 | R''emy Cerda, Lionel Vaux Auclair | 2305.02785 | cs.LO | 2023-06-19 |
| 决策的限制：一阶逻辑的相邻片段 | Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann | 2305.03133 | cs.LO | 2023-06-19 |
| 用序列演算简化输入/输出逻辑 | Agata Ciabattoni, Dmitry Rozplokhas | 2306.09496 | cs.LO | 2023-06-19 |
| 快速逼近量词消除 | Isabel Garcia-Contreras, Hari Govind V K, Sharon Shoham, Arie Gurfinkel | 2306.10009 | cs.LO | 2023-06-19 |
| 代数λ演算是普通λ演算的保守扩展 | Axel Kerinec and Lionel Vaux Auclair | 2305.01067 | cs.LO | 2023-06-16 |