| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 区间中立模糊逻辑：理论与应用 | Haibin Wang, Florentin Smarandache, Yanqing Zhang, Rajshekhar Sunderraman | cs/0410056 | cs.LO | 2007-05-23 |
| 模块和逻辑编程 | Christophe Fouquere and Virgile Mogbil | cs/0411029 | cs.LO | 2007-05-23 |
| 具有（二进制编码的）计数量词的双变量片段的复杂性 | Ian Pratt-Hartmann | cs/0411031 | cs.LO | 2007-05-23 |
| 逻辑专栏10：指定保密 | Riccardo Pucella | cs/0411032 | cs.LO | 2007-05-23 |
| 时态概率系统的可决定性概率逻辑 | Ruggero Lanotte (Dipartimento di Scienze della Cultura, Politiche e dell'Informazione), Daniele Beauquier (LACL, Dept. of Informatics) | cs/0411100 | cs.LO | 2007-05-23 |
| 基本仿射逻辑中的输入算法 | Patrick Baillot and Kazushige Terui | cs/0412028 | cs.LO | 2007-05-23 |
| 逆向方法实现了模态可满足性的自动机方法 | Franz Baader and Stephan Tobies | cs/0412101 | cs.LO | 2007-05-23 |
| 关于部分可加性 Kleene 代数 | Riccardo Pucella | cs/0501032 | cs.LO | 2007-05-23 |
| 逻辑专栏11：时间逻辑中的有限与无限 | Riccardo Pucella | cs/0502031 | cs.LO | 2007-05-23 |
| 规范和细化弱公平性下活跃性属性的证明义务 | Hector Ruiz Barradas (LSR - IMAG), Didier Bert (LSR - IMAG) | cs/0502046 | cs.LO | 2007-05-23 |
| 间隔中性集合与逻辑：计算中的理论和应用 | Haibin Wang, Florentin Smarandache, Yan-Qing Zhang, Rajshekhar Sunderraman | cs/0505014 | cs.LO | 2007-05-23 |
| 时间Petri网的状态空间计算与分析 | Guillaume Gardey and Olivier H. Roux and Olivier F. Roux | cs/0505023 | cs.LO | 2007-05-23 |
| 逻辑专栏 12：逻辑验证与等式验证 | Riccardo Pucella | cs/0505024 | cs.LO | 2007-05-23 |
| 无限状态系统的等价性检查：技术和结果 | Antonin Kucera and Petr Jancar | cs/0505025 | cs.LO | 2007-05-23 |
| 时态并发约束程序的自动验证 | Moreno Falaschi and Alicia Villanueva | cs/0505026 | cs.LO | 2007-05-23 |
| 使用Csanky算法证明矩阵性质的可行性证明 | Michael Soltys | cs/0505087 | cs.LO | 2007-05-23 |
| Presburger算术中自动机大小的界限 | Felix Klaedtke | cs/0506008 | cs.LO | 2007-05-23 |
| 确定性MSO树转换器的等价性问题是可判定的。 | Joost Engelfriet and Sebastian Maneth | cs/0506014 | cs.LO | 2007-05-23 |
| 马丁-洛夫逻辑框架的又一个归一化证明——具备正确维度的术语是强正规化的 | Yong Luo | cs/0506060 | cs.LO | 2007-05-23 |
| 一页式模型检查器 | Jason E. Holt (BYU) | cs/0506084 | cs.LO | 2007-05-23 |
| 重写策略的终止：一种通用方法 | Isabelle Gnaedig and Helene Kirchner | cs/0507064 | cs.LO | 2007-05-23 |
| 逻辑专栏13：关于量子系统的形式推理：概述 | Nick Papanikolaou | cs/0508005 | cs.LO | 2007-05-23 |
| 具有聚合函数的逻辑程序的有根据和稳定语义 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe | cs/0509024 | cs.LO | 2007-05-23 |
| Petri网的语义嵌入到Event-B中 | Christian Attiogbe | cs/0510073 | cs.LO | 2007-05-23 |
| 逻辑专栏14：名义逻辑与抽象语法 | James Cheney | cs/0511025 | cs.LO | 2007-05-23 |