| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 定义自身真实性的一种有用逻辑 | Andreas Blass (University of Michigan) and Yuri Gurevich (Microsoft Research) | 0811.0964 | cs.LO | 2008-11-07 |
| 两种形式的有用逻辑：存在性固定点逻辑与自由Datalog | Andreas Blass (University of Michigan) and Yuri Gurevich (Microsoft Research) | 0811.0977 | cs.LO | 2008-11-07 |
| 匆忙中的Coq | Yves Bertot (INRIA Sophia Antipolis) | cs/0603118 | cs.LO | 2008-11-07 |
| 有理智Kripke模型上时态逻辑的符号化模型检查 | Wilmari Bekker and Valentin Goranko | 0810.5516 | cs.LO | 2008-10-31 |
| 弱语义的有限基：失败与不可能的未来 | Taolue Chen, Wan Fokkink, Rob van Glabbeek | 0810.4904 | cs.LO | 2008-10-28 |
| 结构性抽象解释：使用Coq进行形式化研究 | Yves Bertot (INRIA Sophia Antipolis) | 0810.2179 | cs.LO | 2008-10-20 |
| 克隆理论：语法和语义，对于普遍代数、λ演算和代数逻辑的应用 | Zhaohua Luo | 0810.3162 | cs.LO | 2008-10-20 |
| 层与几何逻辑及其在复杂系统的模块化验证中的应用 | Viorica Sofronie-Stokkermans | 0810.2877 | cs.LO | 2008-10-17 |
| 驯服模态非预测性：超懒规约 | Ugo Dal Lago, Luca Roversi, Luca Vercelli | 0810.2891 | cs.LO | 2008-10-17 |
| 关于在具有复制的CCS片段中表征强同步性的论述 | Daniel Hirschkoff (LIP), Damien Pous (INRIA Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble) | 0810.2061 | cs.LO | 2008-10-14 |
| 形式系统lambda-delta | F. Guidi | cs/0611040 | cs.LO | 2008-09-25 |
| N中的可实现结构，RAM和超滤器 | Jean-Louis Krivine (PPS) | 0809.2394 | cs.LO | 2008-09-16 |
| 高阶理论 | Andre' Hirschowitz and Marco Maggesi | 0704.2900 | cs.LO | 2008-09-09 |
| 交互语法 | Bruno Guillaume (INRIA Lorraine - LORIA), Guy Perrier (INRIA Lorraine - LORIA) | 0809.0494 | cs.LO | 2008-09-03 |
| 具有额外的Call-By-Value规则（称为assoc）的lambda演算的终止 | St''ephane Lengrand (LIX) | 0806.4859 | cs.LO | 2008-09-02 |
| Coq中共递函数的归纳和余归纳组成部分 | Yves Bertot (INRIA Sophia Antipolis), Ekaterina Komendantskaya (INRIA Sophia Antipolis) | 0807.1524 | cs.LO | 2008-07-10 |
| 通过团研究集共享分析 | Jorge Navas, Francisco Bueno, Manuel Hermenegildo | cs/0508112 | cs.LO | 2008-07-10 |
| 代数模型上的知识库。关于信息等价性的一些注记。 | Knyazhansky Marina, Plotkin Tatjana | 0807.0704 | cs.LO | 2008-07-08 |
| 具有并行条件的递归类型的λ演算的完全抽象 | Fritz M"uller | 0806.1827 | cs.LO | 2008-06-12 |
| 关于结构的团宽和树宽的注记 | Hans Adler and Isolde Adler | 0806.0103 | cs.LO | 2008-06-03 |
| 将Event-B编码为Alloy进行模型检验 | Paulo J. Matos, Joao Marques-Silva | 0805.3256 | cs.LO | 2008-05-30 |
| 通过否定不动点定理的适用性进行复制 | Genta Ito | 0805.2063 | cs.LO | 2008-05-28 |
| 代数构造的微积分 | Fr''ed''eric Blanqui (LRI), Jean-Pierre Jouannaud (LRI), Mitsuhiro Okada | cs/0610063 | cs.LO | 2008-05-27 |
| 可分割剩余格上软约束的k-超弧一致性 | Simone Bova | 0805.3261 | cs.LO | 2008-05-22 |
| Coq验证的算术基本不完备 | Russell O'Connor | cs/0505034 | cs.LO | 2008-05-19 |