| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 分支良构转换系统及其扩展 | Benedikt Bollig, Alain Finkel, Amrita Suresh | 2211.15913 | cs.LO | 2023-07-25 |
| 超级霍尔逻辑：（非）证明程序的超属性（扩展版本） | Thibault Dardinier, Peter M"uller | 2301.10037 | cs.LO | 2023-07-25 |
| 定量安全性与活性 | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sarac{c} | 2301.11175 | cs.LO | 2023-07-25 |
| 饱和约束Horn子句的符号模型构建 | Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach | 2305.05064 | cs.LO | 2023-07-25 |
| 没有新变量的更短证明 | Adri''an Rebola-Pardo | 2307.12098 | cs.LO | 2023-07-25 |
| ACL2s中的计算证明 | Andrew T. Walter, Ankit Kumar, Panagiotis Manolios | 2307.12224 | cs.LO | 2023-07-25 |
| 非正态模态描述逻辑（扩展版） | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard | 2307.12265 | cs.LO | 2023-07-25 |
| 从证明中提取总的Amb程序 | Ulrich Berger, Hideki Tsuiki | 2307.12454 | cs.LO | 2023-07-25 |
| 基于证明搜索的推理系统：扩展摘要 | Dale Miller (PARTOUT, OptimiX) | 2307.12704 | cs.LO | 2023-07-25 |
| 依赖类型代数层次结构中的多重继承危险 | Eric Wieser | 2306.00617 | cs.LO | 2023-07-24 |
| 二进制的非终止性在术语重写和逻辑编程中 | ''Etienne Payet | 2307.11549 | cs.LO | 2023-07-24 |
| 使关系Hoare逻辑对齐完备 | Anindya Banerjee, Ramana Nagasamudram, David A. Naumann | 2212.10338 | cs.LO | 2023-07-21 |
| 逻辑与表征理论 | Arnaud Plagnol (LPPC) | 2307.10629 | cs.LO | 2023-07-21 |
| 强韧的交替时序逻辑 | Aniello Murano, Daniel Neider and Martin Zimmermann | 2307.10885 | cs.LO | 2023-07-21 |
| 带有列表的C程序的自动终止证明（简短WST版本） | Jera Hensel, J"urgen Giesl | 2307.11024 | cs.LO | 2023-07-21 |
| 依赖性、成绩和伴随逻辑的结合 | Peter Hanukaev and Harley Eades III | 2307.09563 | cs.LO | 2023-07-20 |
| 具有路径上的n元关系的模态逻辑：共降凡子语义和表达能力 | Santiago Figueira, Gabriel Goren Roig | 2307.09679 | cs.LO | 2023-07-20 |
| 加速驱动子句学习证明非终止（WST简版） | Florian Frohn and J"urgen Giesl | 2307.09839 | cs.LO | 2023-07-20 |
| 概率项重写的几乎确定内最终终止的依赖元组（短WST版本） | Jan-Christoph Kassing, J"urgen Giesl | 2307.10002 | cs.LO | 2023-07-20 |
| 为某些和所有的完全关系Höare逻辑进行对齐 | Ramana Nagasamudram, Anindya Banerjee, David A. Naumann | 2307.10045 | cs.LO | 2023-07-20 |
| 整数规划中基于三角形弱非线性循环的自动复杂性分析（简化版WST） | Nils Lommen, Eleanore Meyer, J"urgen Giesl | 2307.10061 | cs.LO | 2023-07-20 |
| 递归并不总是有帮助 | Gordon Plotkin | 2206.08413 | cs.LO | 2023-07-19 |
| 变量绑定和替换对于（无名）虚位 | Andr''e Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi | 2209.02614 | cs.LO | 2023-07-19 |
| 具有通信混合程序的动态逻辑的统一替代 | Marvin Brieger, Stefan Mitsch, Andr''e Platzer | 2303.17333 | cs.LO | 2023-07-19 |
| 具有MDP的字符串图的构成性概率模型检验 | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo | 2307.08765 | cs.LO | 2023-07-19 |