| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 语言的代数可识别性 | Pascal Weil (LaBRI) | cs/0609110 | cs.LO | 2007-05-23 |
| 三隙定理（Steinhauss猜想） | Micaela Mayero (INRIA Futurs) | cs/0609124 | cs.LO | 2007-05-23 |
| 基于基本结构属性的答案集编程的更新 | Mauricio Osorio and V''ictor Cuevas | cs/0609167 | cs.LO | 2007-05-23 |
| 新计算范式对Church论题提出质疑 | Hannes Hutzelmeyer | cs/0610038 | cs.LO | 2007-05-23 |
| 用塔斯基的不动点定理扩展构造演算 | Yves Bertot (INRIA Sophia Antipolis) | cs/0610055 | cs.LO | 2007-05-23 |
| 对实数进行量词消除，包括二的幂的谓词。 | Jeremy Avigad and Yimu Yin | cs/0610117 | cs.LO | 2007-05-23 |
| 证明网和证明的身份 | Lutz Strassburger (INRIA Futurs) | cs/0610123 | cs.LO | 2007-05-23 |
| 阶乘语言串联的规范分解 | A. Frid | cs/0610149 | cs.LO | 2007-05-23 |
| 逻辑专栏17：逻辑、复杂性和代数的相会 | Hubie Chen | cs/0611018 | cs.LO | 2007-05-23 |
| 在Coq中形式化Sylow定理 | Laurent Thery (INRIA Sophia Antipolis) | cs/0611057 | cs.LO | 2007-05-23 |
| 超有限主义的模型理论 I：算术的模糊初始段 | Mirco A. Mannucci, Rose M. Cherubin | cs/0611100 | cs.LO | 2007-05-23 |
| 通过抽象解释泛化Paige-Tarjan算法 | Francesco Ranzato and Francesco Tapparo | cs/0612120 | cs.LO | 2007-05-23 |
| 简单类型 λ-演算中的可定义函数 | Mateusz Zakrzewski | cs/0701022 | cs.LO | 2007-05-23 |
| 排名二交叉类型的居住问题 | Dariusz Kusmierek | cs/0701029 | cs.LO | 2007-05-23 |
| 线性"大O"方程的决策过程 | Jeremy Avigad and Kevin Donnelly | cs/0701073 | cs.LO | 2007-05-23 |
| 可行仿射递归的时间复杂度语义（扩展摘要） | Norman Danner and James S. Royer | cs/0701076 | cs.LO | 2007-05-23 |
| 关于因子分解森林 | Thomas Colcombet (GALION) | cs/0701113 | cs.LO | 2007-05-23 |
| 高效的无穷状态系统一阶时态逻辑 | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa | cs/0702036 | cs.LO | 2007-05-23 |
| 简化的悬挂演算及其与其他显式替换演算的关系 | Andrew Gacek and Gopalan Nadathur | cs/0702152 | cs.LO | 2007-05-23 |
| 重叠如何决定纤毛虫的大核基因 | Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg | cs/0702171 | cs.LO | 2007-05-23 |
| 上下文无关文法的图表示 | Alex Shkotin | cs/0703015 | cs.LO | 2007-05-23 |
| 描述逻辑$mathcal{ALCQI}$的ExpTime过程（草稿） | Yu Ding | cs/0703051 | cs.LO | 2007-05-23 |
| 带有经典控制的量子λ演算：语法和表达能力 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi | cs/0703152 | cs.LO | 2007-05-23 |
| 命题μ-演算的自然推导式证明系统及其在归纳类型理论中的形式化 | Marino Miculan | cs/9809120 | cs.LO | 2007-05-23 |
| 公理化扁平迭代 | R. J. van Glabbeek (Stanford) | cs/9810008 | cs.LO | 2007-05-23 |