| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于局部理论扩展中的$P$-插值及其在描述逻辑${\cal EL}, {\cal EL}^+$中插值研究中的应用 | Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert | 2307.08843 | cs.LO | 2023-07-19 |
| 更高阶的范畴、更高阶的量子代数及其对应关系 | Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth | 2307.09253 | cs.LO | 2023-07-19 |
| 半环语义中的局部性定理 | Clotilde Bizi`ere, Erich Gr"adel, Matthias Naaf | 2303.12627 | cs.LO | 2023-07-18 |
| 模糊关系和广义度量空间的通用定量代数 | Matteo Mio, Ralph Sarkis, Valeria Vignudelli | 2304.14361 | cs.LO | 2023-07-18 |
| 顺序语言决策 | Adam Bjorndahl (Carnegie Mellon University), Joseph Y. Halpern (Cornell University) | 2307.07563 | cs.LO | 2023-07-18 |
| 广义加权类型图在图转换系统的终止性中的应用 | J"org Endrullis, Roy Overbeek | 2307.07601 | cs.LO | 2023-07-18 |
| 组合有限特性：有限模型与忙碌的比伯 | Guilherme Toledo and Yoni Zohar and Clark Barrett | 2307.07885 | cs.LO | 2023-07-18 |
| 擦除语法与双向类型推导的框架 | Thiago Felicissimo | 2307.08523 | cs.LO | 2023-07-18 |
| 组成重写理论的基本原理 | Nicolas Behr (Universit''e Paris Cit''e, CNRS, IRIF), Russ Harmer (Univ. Lyon, EnsL, UCBL, CNRS, LIP, France), Jean Krivine (Universit''e Paris Cit''e, CNRS, IRIF) | 2204.07175 | cs.LO | 2023-07-17 |
| ADCL：用于约束Horn子句的加速驱动子句学习 | Florian Frohn, J"urgen Giesl | 2303.01827 | cs.LO | 2023-07-17 |
| 确定化自动机获取的模态μ-演算的证明系统 | Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema | 2307.06897 | cs.LO | 2023-07-17 |
| 交替固定点的实数方程系统（具有证明的完整版本） | Jan Friso Groote and Tim A.C. Willemse | 2307.07455 | cs.LO | 2023-07-17 |
| 定向图模型中部分连续聚合函数的渐近消除 | Vera Koponen, Felix Weitk"amper | 2106.10122 | cs.LO | 2023-07-14 |
| 线性递推序列的稳健正定性问题 | Mihir Vahanwala | 2305.04870 | cs.LO | 2023-07-14 |
| 斯科勒姆和正性完备性的遍历马尔可夫链 | Mihir Vahanwala | 2305.04881 | cs.LO | 2023-07-14 |
| 声音一相位形状分析与双向抽象 | Florian Sextl (1), Adam Rogalewicz (2), Tom''av{s} Vojnar (2), Florian Zuleger (1) ((1) TU Wien, Institute of Logic and Computation, Research Unit for Formal Methods in Systems Engineering, (2) Brno University of Technology, FIT) | 2307.06346 | cs.LO | 2023-07-14 |
| 追溯式参数化监控 | Paloma Pedregal, Felipe Gorostiaga and Cesar Sanchez | 2307.06763 | cs.LO | 2023-07-14 |
| 针对完整性：使用闭式形式进行整数程序的大小界限 | Nils Lommen, J"urgen Giesl | 2307.06921 | cs.LO | 2023-07-14 |
| 线性时间逻辑 -- 一种共代数观点 | Corina Cirstea | 1612.07844 | cs.LO | 2023-07-13 |
| 一个证明无关命题的无减简化规范化 | Thierry Coquand | 2103.04287 | cs.LO | 2023-07-13 |
| 算法法律基础中的模型验证及561号规定案 | Moritz M"uller and Joost J. Joosten | 2307.05658 | cs.LO | 2023-07-13 |
| 关于扩展非一元计数量词的Presburger算术 | Peter Habermehl, Dietrich Kuske | 2204.03903 | cs.LO | 2023-07-12 |
| 局部性质的简单公设 | Philippe Balbiani (Institut de Recherche en Informatique de Toulouse), Wiebe van der Hoek (University of Liverpool), Louwe B. Kuijer (University of Liverpool) | 2307.05040 | cs.LO | 2023-07-12 |
| 关于具有有限变量出现的关系演算中带有有界点-双点替代的片段 | Yoshiki Nakamura | 2307.05046 | cs.LO | 2023-07-12 |
| 认知模型及其动态的抽象观察 | Carlo Proietti (ILC, CNR Genova, Italy), Fernando R. Vel''azquez-Quesada (University of Bergen, Norway), Antonio Yuste-Ginel (Universidad Complutense de Madrid, Spain) | 2307.05049 | cs.LO | 2023-07-12 |