| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 线性混合自动机分析的分布式可达性算法设计 | Sumit Kumar Jha | 0710.3764 | cs.LO | 2007-10-22 |
| 无冻结标记的自由选择Petri网和双极同步系统 | Joachim Wehler | cs/0609095 | cs.LO | 2007-09-10 |
| 逻辑专栏19：时间认知逻辑的符号模型检验 | Alessio Lomuscio and Wojciech Penczek | 0709.0446 | cs.LO | 2007-09-05 |
| HORPO与计算闭包：一种重构 | Fr''ed''eric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (LIX), Albert Rubio | 0708.3582 | cs.LO | 2007-08-28 |
| Horn子句程序的集合分析 | Dale Miller (INRIA Futurs) | 0708.2230 | cs.LO | 2007-08-17 |
| 直观逻辑中的聚焦与极化 | Chuck Liang, Dale Miller (INRIA Futurs) | 0708.2252 | cs.LO | 2007-08-17 |
| 编辑和验证 | Radu Grigore and Micha{l} Moskal | 0708.0713 | cs.LO | 2007-08-07 |
| 关于PDL的非上下文无关扩展 | Stefan G"oller and Dirk Nowotka | 0707.0562 | cs.LO | 2007-07-18 |
| 可计算性闭包：十年后 | Fr''ed''eric Blanqui (INRIA Lorraine - LORIA) | 0707.1372 | cs.LO | 2007-07-11 |
| 构建归纳构造演算的决策程序 | Fr''ed''eric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (INRIA Futurs), Pierre-Yves Strub (INRIA Futurs) | 0707.1266 | cs.LO | 2007-07-10 |
| 基于过程代数的承诺理论框架 | Jan Bergstra, Inge Bethke and Mark Burgess | 0707.0744 | cs.LO | 2007-07-06 |
| 建模干扰的一种推理演算的证明体系 | Christophe Fouquer''e (LIPN) | 0706.3341 | cs.LO | 2007-06-25 |
| 对话游戏的抽象机器 | Pierre-Louis Curien (PPS), Hugo Herbelin (INRIA Futurs) | 0706.2544 | cs.LO | 2007-06-19 |
| 嬉戏式、流动计算 | Pierre-Louis Curien (PPS) | cs/0501033 | cs.LO | 2007-06-17 |
| 编程中的对称性和互动性 | Pierre-Louis Curien (PPS) | cs/0501034 | cs.LO | 2007-06-17 |
| 线性逻辑和Ludics简介，第一部分 | Pierre-Louis Curien (PPS) | cs/0501035 | cs.LO | 2007-06-17 |
| 线性逻辑和游戏论入门，第二部分 | Pierre-Louis Curien (PPS) | cs/0501039 | cs.LO | 2007-06-17 |
| 链接数据结构中可达模式的逻辑 | Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer (LIAFA), Ahmed Bouajjani (LIAFA) | 0705.3610 | cs.LO | 2007-06-13 |
| 异步游戏：无交替的天真 | Paul-Andr''e Melli`es (PPS), Samuel Mimram (PPS) | 0706.1118 | cs.LO | 2007-06-11 |
| 时态运行时验证使用单调差分逻辑 | Henrik Reif Andersen and Kaare J. Kristoffersen | 0705.4604 | cs.LO | 2007-06-01 |
| 通过游戏语义的二阶类型同构 | Joachim De Lataillade (PPS) | 0705.4226 | cs.LO | 2007-05-30 |
| 柯里风格类型同构和游戏语义 | Joachim De Lataillade (PPS) | 0705.4228 | cs.LO | 2007-05-30 |
| 高阶上下文无关进程的符号可达性分析 | Ahmed Bouajjani (LIAFA), Antoine Meyer (LIAFA) | 0705.3888 | cs.LO | 2007-05-29 |
| 关于具有有理派生的术语重写系统 | Antoine Meyer (LIAFA) | 0705.4064 | cs.LO | 2007-05-29 |
| 线性有界无限图 | Arnaud Carayol (IRISA), Antoine Meyer (LIAFA) | 0705.3487 | cs.LO | 2007-05-25 |