| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 双直觉逻辑的无割线序演算：扩展版本 | Linda Buisman and Rajeev Gor''e | 0704.1707 | cs.LO | 2007-05-23 |
| 逻辑专栏18：替代逻辑：一本书评 | Riccardo Pucella | 0705.1367 | cs.LO | 2007-05-23 |
| 逻辑编程方法在约束满足问题的表示和求解中的比较 | Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe | cs/0003026 | cs.LO | 2007-05-23 |
| 具有表格化的逻辑程序的终止证明 | Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas | cs/0003045 | cs.LO | 2007-05-23 |
| 使用XSB-Prolog证明确定逻辑程序查询的失败 | Nikolay Pelov, Maurice Bruynooghe | cs/0003069 | cs.LO | 2007-05-23 |
| 拓扑空间的知识理论性质 | Konstantinos Georgatos | cs/0007037 | cs.LO | 2007-05-23 |
| 自底向上的基于转换的推理模型计算 | Stefan Brass, Juergen Dix, Burkhard Freitag, Ulrich Zukowski | cs/0011013 | cs.LO | 2007-05-23 |
| 非尺寸增加的多项式时间计算的句法分析 | Klaus Aehlig, Helmut Schwichtenberg | cs/0011037 | cs.LO | 2007-05-23 |
| 完全交叉类型理论的完整刻画 | M. Dezani-Ciancaglini, F. Honsell and F. Alessi | cs/0011039 | cs.LO | 2007-05-23 |
| 类型正确的逻辑程序不是错误的。 | Pierre Deransart and Jan-Georg Smaus | cs/0012015 | cs.LO | 2007-05-23 |
| 布尔约束下的资源分配 | James Harland, David Pym | cs/0012018 | cs.LO | 2007-05-23 |
| 符号转换系统的分类 | Thomas A. Henzinger, Rupak Majumdar and Jean-Francois Raskin | cs/0101013 | cs.LO | 2007-05-23 |
| 在公平性和行为抽象中检查属性 | Ulrich Ultes-Nitsche and Pierre Wolper | cs/0101017 | cs.LO | 2007-05-23 |
| 析取和模块化目标导向的证明搜索 | Matthew Stone | cs/0104021 | cs.LO | 2007-05-23 |
| 使用ACI-统一性分析多态类型逻辑程序 | Jan-Georg Smaus | cs/0105007 | cs.LO | 2007-05-23 |
| 抽象与具体度量部分代数上的计算 | J.V. Tucker (University of Wales, Swansea) and J.I. Zucker (McMaster University, Hamilton, Canada) | cs/0108007 | cs.LO | 2007-05-23 |
| 抽象可计算性、代数规范和初始性 | J.V. Tucker (University of Wales, Swansea) and J.I. Zucker (McMaster University, Hamilton, Canada) | cs/0109001 | cs.LO | 2007-05-23 |
| 下推式定时自动机：二进制可达性描述和安全验证 | Zhe Dang | cs/0110010 | cs.LO | 2007-05-23 |
| 关于LF类型理论中的等价性和规范形式 | Robert Harper and Frank Pfenning | cs/0110028 | cs.LO | 2007-05-23 |
| 异步自动机中的选定主题 | Serban E. Vlad | cs/0110060 | cs.LO | 2007-05-23 |
| 一种异步自动机方法用于时态逻辑的语义 | Serban E. Vlad | cs/0110061 | cs.LO | 2007-05-23 |
| 离散时间异步自动机的延迟不敏感性、无冲突、半模块化和良好运行的技术条件 | Serban E. Vlad | cs/0110062 | cs.LO | 2007-05-23 |
| 对于可转置的混合线性关系存在$omega$-链和其应用 | Zhe Dang and Oscar Ibarra | cs/0110063 | cs.LO | 2007-05-23 |
| 微积分在时序自动机研究中的应用：惯性延迟缓冲器 | Serban E. Vlad | cs/0110064 | cs.LO | 2007-05-23 |
| SKY算法合成 | Giovambattista Ianni | cs/0111011 | cs.LO | 2007-05-23 |