| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 默认、弱和严格否定的逻辑编程 | Susumu Yamasaki | cs/0511041 | cs.LO | 2007-05-23 |
| 真正的即时LTL模型检查 | Moritz Hammer (IFI-LMU), Alexander Knapp (IFI-LMU), Stephan Merz (INRIA Lorraine - LORIA) | cs/0511061 | cs.LO | 2007-05-23 |
| 交替时钟自动机 | Slawomir Lasota and Igor Walukiewicz | cs/0512031 | cs.LO | 2007-05-23 |
| 事件系统的不带和带公平性假设的不动点语义 | Hector Ruiz Barradas (LSR - IMAG), Didier Bert (LSR - IMAG) | cs/0512082 | cs.LO | 2007-05-23 |
| 基于区间的命题时态逻辑的分层分析 | Ben Moszkowski | cs/0601008 | cs.LO | 2007-05-23 |
| 两种逻辑形式主义在重写方面的比较 | Miguel Palomino | cs/0601018 | cs.LO | 2007-05-23 |
| 关于具有输入确定守卫的定时自动机 | Deepak D'Souza, Nicolas Tabareau (PPS) | cs/0601096 | cs.LO | 2007-05-23 |
| 关键的和关键鉴别性的结果关系 | Jonathan Ben-Naim (LIF) | cs/0603006 | cs.LO | 2007-05-23 |
| 通过双重光仿射逻辑对系统F项的Ptime可约简性进行验证 | Vincent Atassi (LIPN), Patrick Baillot (LIPN), Kazushige Terui (NII) | cs/0603104 | cs.LO | 2007-05-23 |
| 仿射函数与具有共归实数的级数 | Yves Bertot (INRIA Sophia Antipolis) | cs/0603117 | cs.LO | 2007-05-23 |
| Coq中的CoInduction | Yves Bertot (INRIA Sophia Antipolis) | cs/0603119 | cs.LO | 2007-05-23 |
| 无环合取查询的复杂性重访 | Arnaud Durand (ELM), Etienne Grandjean (GREYC) | cs/0605008 | cs.LO | 2007-05-23 |
| SAT求解用于论据过滤 | Michael Codish (1), Peter Schneider-Kamp (2), Vitaly Lagoon (3), Ren''e Thiemann (2), J"urgen Giesl (2) ((1) Department of Computer Science, Ben-Gurion University, Israel (2) LuFG Informatik 2, RWTH Aachen, Germany (3) Department of Computer Science and Software Engineering, University of Melbourne, Australia) | cs/0605074 | cs.LO | 2007-05-23 |
| 逻辑专栏15：余代数及其逻辑 | Alexander Kurz | cs/0605128 | cs.LO | 2007-05-23 |
| 基于距离的修订缺乏有限特征 | Jonathan Ben-Naim (LIF) | cs/0606082 | cs.LO | 2007-05-23 |
| 非常大模型中轨迹的均匀随机抽样 | Alain Denise (LRI), Marie-Claude Gaudel (LRI), Sandrine-Dominique Gouraud (LRI), Richard Lasseigne (ELM), Sylvain Peyronnet (ELM), the RaST Collaboration | cs/0606086 | cs.LO | 2007-05-23 |
| 克雷格插值定理在Isabelle/HOL中得到正式化和机械化 | Tom Ridge | cs/0607058 | cs.LO | 2007-05-23 |
| 逻辑专栏16：高阶抽象语法：纠正误解 | Karl Crary and Robert Harper | cs/0607141 | cs.LO | 2007-05-23 |
| CCS带有左合并和通信合并的有限等式基础 | Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, and Bas Luttik | cs/0608001 | cs.LO | 2007-05-23 |
| 在S^1\_2中函数类的弱抽屉原理 | Norman Danner and Chris Pollett | cs/0608039 | cs.LO | 2007-05-23 |
| 计算模型BSS模型在轻量仿射λ演算中的嵌入 | Patrick Baillot (LIPN), Marco Pedicini | cs/0608040 | cs.LO | 2007-05-23 |
| 在上下文逻辑程序细化中计算模块 | Robert Colvin, Ian J. Hayes and Paul Strooper | cs/0608110 | cs.LO | 2007-05-23 |
| （HO）RPO重访 | Fr''ed''eric Blanqui (INRIA Lorraine - LORIA) | cs/0609037 | cs.LO | 2007-05-23 |
| 关于某些图形和偏序集语言的逻辑可定义性 | Pascal Weil (LaBRI) | cs/0609048 | cs.LO | 2007-05-23 |
| 使用群组来研究重写系统 | Patrick Dehornoy (LMNO) | cs/0609102 | cs.LO | 2007-05-23 |