| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 装饰轨迹语义的预同余格式 | B. Bloom (Cornell -> IBM), W.J. Fokkink (CWI) & R.J. van Glabbeek (Stanford) | cs/0204039 | cs.LO | 2007-05-23 |
| 高阶逻辑在可行性中的一些应用 | Aleksandar Ignjatovic and Arun Sharma | cs/0204045 | cs.LO | 2007-05-23 |
| 二十一世纪数理逻辑的前景 | Samuel R. Buss and Alexander S. Kechris and Anand Pillay and Richard A. Shore | cs/0205003 | cs.LO | 2007-05-23 |
| 在中间逻辑中对强等价逻辑程序的表征 | Dick de Jongh, Lex Hendriks | cs/0206005 | cs.LO | 2007-05-23 |
| Knuth-Bendix约束求解是NP完全的 | Konstantin Korovin and Andrei Voronkov | cs/0207068 | cs.LO | 2007-05-23 |
| 交互计算的非矛盾性 | Dina Goldin (U. of Connecticut), Peter Wegner (Brown U.) | cs/0207074 | cs.LO | 2007-05-23 |
| 一种适用于可退让逻辑的模型论语义 | Michael J. Maher (Loyola University, Chicago) | cs/0207086 | cs.LO | 2007-05-23 |
| 默认推理的公理性方面 | Guo-Qiang Zhang (Case Western Reserve University) | cs/0207087 | cs.LO | 2007-05-23 |
| 关于一种动态证明的部分决策方法 | Diderik Batens (Universiteit Gent, Belgium) | cs/0207090 | cs.LO | 2007-05-23 |
| 逻辑编程和非单调推理的几乎经典逻辑 | Franc{c}ois Bry (University of Munich, Germany) | cs/0207091 | cs.LO | 2007-05-23 |
| 一阶逻辑作为约束编程语言 | K.R. Apt and C.F.M. Vermeulen | cs/0208032 | cs.LO | 2007-05-23 |
| 二阶λ演算的初等片段 | Klaus Aehlig, Jan Johannsen | cs/0210022 | cs.LO | 2007-05-23 |
| 交叉类型与λ理论 | M.Dezani-Ciancaglini and S.Lusin | cs/0211011 | cs.LO | 2007-05-23 |
| 阿贝尔逻辑和卢卡谢维奇逻辑的Sequent和Hypersequent演算 | G. Metcalfe, N. Olivetti and D. Gabbay | cs/0211021 | cs.LO | 2007-05-23 |
| 算术、一阶逻辑和计数量词 | Nicole Schweikardt | cs/0211022 | cs.LO | 2007-05-23 |
| 多原子类型的撤回 | Laurent Regnier, Pawel Urzyczyn | cs/0212005 | cs.LO | 2007-05-23 |
| 逻辑编程的Lifting引理的推广 | Etienne Payet and Fred Mesnard | cs/0212026 | cs.LO | 2007-05-23 |
| 一些命题逻辑中的双重否定消除 | Michael Beeson, Robert Veroff, Larry Wos | cs/0301026 | cs.LO | 2007-05-23 |
| 线性算术中整数和实数变量的有效决策过程 | Bernard Boigelot, Sebastien Jodogne and Pierre Wolper | cs/0303019 | cs.LO | 2007-05-23 |
| 基础规范性 | Nachum Dershowitz | cs/0304017 | cs.LO | 2007-05-23 |
| 一类加权自动机的模型检验 | Peter Buchholz and Peter Kemper | cs/0304021 | cs.LO | 2007-05-23 |
| 计算非析取演绎数据库中仅最小的答案 | C. A. Johnson | cs/0305007 | cs.LO | 2007-05-23 |
| 优化最优规约：一种基于元素可递衍的类型推断算法 | Paolo Coppola and Simone Martini | cs/0305011 | cs.LO | 2007-05-23 |
| 直观逻辑在答案集编程中的应用 | Mauricio Osorio, Juan Antonio Navarro and Jose Arrazola | cs/0305046 | cs.LO | 2007-05-23 |
| 单调的时间分辨率 | Anatoly Degtyarev, Michael Fisher, and Boris Konev | cs/0306041 | cs.LO | 2007-05-23 |