| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 有限草地的结构 | Inge Bethke, Piet Rodenburg and Arjen Sevenster | 0903.1196 | cs.LO | 2009-03-09 |
| 拟宽类上的同态保持 | Anuj Dawar | 0811.4497 | cs.LO | 2009-03-08 |
| 带有经典控制的量子计算的λ演算 | Peter Selinger, Benoit Valiron | cs/0404056 | cs.LO | 2009-02-26 |
| 为什么你会相信B？ | Eric Jaeger (DCSSI/SDS/Lti, Lip6), Catherine Dubois (CEDRIC) | 0902.3858 | cs.LO | 2009-02-24 |
| 关于安全系统形式化开发的几点备注 | Eric Jaeger (LIP6, Dcssi/SDS/Lti), Th''er`ese Hardin (LIP6) | 0902.3861 | cs.LO | 2009-02-24 |
| B的另一个深度嵌入：扩展de Bruijn符号 | Eric Jaeger (LIP6, Dcssi/SDS/Lti), Th''er`ese Hardin (LIP6) | 0902.3865 | cs.LO | 2009-02-24 |
| 算法元定理 | Stephan Kreutzer | 0902.3616 | cs.LO | 2009-02-23 |
| Bisimulation和模态逻辑在pi演算的证明搜索规范 | Alwen Tiu and Dale Miller | 0805.2785 | cs.LO | 2009-02-16 |
| 拟翻译为：代数模态逻辑的强完备性 | Lutz Schr"oder, Dirk Pattinson | 0902.2072 | cs.LO | 2009-02-13 |
| WSTS的前向分析，第一部分：完备性 | Alain Finkel (LSV), Jean Goubault-Larrecq (LSV) | 0902.1587 | cs.LO | 2009-02-11 |
| 平方根草地 | Jan A. Bergstra and I. Bethke | 0901.4664 | cs.LO | 2009-01-30 |
| 处理（ω-）正则模型检验中的线性时态属性的框架 | Ahmed Bouajjani, Axel Legay, Pierre Wolper | 0901.4080 | cs.LO | 2009-01-27 |
| 名词主义逻辑（扩展摘要） | J{o}rgen Villadsen | 0812.4814 | cs.LO | 2008-12-31 |
| 俄罗斯扑克问题的通信复杂性下界 | Aiswarya Cyriac, K. Murali Krishnan | 0805.1974 | cs.LO | 2008-12-24 |
| 从形式证明到数学证明：一种安全、增量的建立一阶决策过程的方式 | Fr''ed''eric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (LIX, INRIA Saclay Ile de France), Pierre-Yves Strub (LIX, INRIA Saclay Ile de France) | 0804.3762 | cs.LO | 2008-12-18 |
| 弱平衡游戏的线性时间算法 | Krishnendu Chatterjee | 0805.1391 | cs.LO | 2008-12-18 |
| 可计算路径排序：一个追寻的终结 | Fr''ed''eric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (LIX, INRIA Saclay Ile de France), Albert Rubio | 0806.2517 | cs.LO | 2008-12-18 |
| 具有时间可访问迭代的逻辑 | Alexei Lisitsa | 0806.2802 | cs.LO | 2008-12-18 |
| 混合逻辑在传递框架上的复杂性 | Martin Mundhenk (1), Thomas Schneider (2), Thomas Schwentick (3), Volker Weber (3) ((1) University of Jena, (2) University of Manchester, (3) University of Dortmund) | 0806.4130 | cs.LO | 2008-12-18 |
| 具有显式分歧的分支等价 | Rob van Glabbeek, Bas Luttik and Nikola Trcka | 0812.3068 | cs.LO | 2008-12-17 |
| 可判定的整数和实数上的一阶逻辑的分解 | Florent Bouchy (LSV), Alain Finkel (LSV), J''er^ome Leroux (LaBRI) | 0812.1967 | cs.LO | 2008-12-11 |
| 基于抽象解释的高效模拟算法 | Francesco Ranzato and Francesco Tapparo | 0709.4118 | cs.LO | 2008-12-05 |
| 纤维和纤毛虫还原图的范围 | Robert Brijder and Hendrik Jan Hoogeboom | cs/0702041 | cs.LO | 2008-11-24 |
| 术语图转换的克隆推出方法 | Dominique Duval (LMC - IMAG, LJK, NMST), Rachid Echahed (LIG, Leibniz - IMAG, IMAG), Fr''ed''eric Prost (LIG) | 0811.3400 | cs.LO | 2008-11-21 |
| TLA+证明系统 | Kaustuv C. Chaudhuri (MRI), Damien Doligez (INRIA Rocquencourt), Leslie Lamport, Stephan Merz (INRIA Lorraine - LORIA) | 0811.1914 | cs.LO | 2008-11-13 |