| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| Bedwyr系统用于在句法表达式上进行模型检测 | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, and Alwen Tiu | cs/0702116 | cs.LO | 2008-04-25 |
| 模型和程序修复通过SAT求解 | Paul C. Attie and Jad Saklawi | 0710.3332 | cs.LO | 2008-04-15 |
| 将通用判断与递归定义相结合 | Andrew Gacek, Dale Miller, and Gopalan Nadathur | 0802.0865 | cs.LO | 2008-04-14 |
| 弱仿射光类型：多项式时间内的内涵表达能力、完备性和可靠性 | Luca Roversi | 0712.4222 | cs.LO | 2008-03-31 |
| 有序不变的MSO在有限域中比计数MSO更强大。 | Tobias Ganzow and Sasha Rubin | 0706.3723 | cs.LO | 2008-03-20 |
| 量子寄存器变换的定性模态表示 | Andrea Masini, Luca Vigan`o, Margherita Zorzi | 0802.4057 | cs.LO | 2008-03-05 |
| 布尔函数的语言、文法和机器 | Birendra Kumar Nayak (1), Sudhakar Sahoo (2) | 0802.4131 | cs.LO | 2008-02-29 |
| 彩色图：二维元胞自动机线性规则的高效模型 | Birendra Kumar Nayak, Sudhakar Sahoo, Sushant Kumar Rout | 0802.3626 | cs.LO | 2008-02-28 |
| 语法图表作为表示形式语言的句法关系的形式化方法 | Vladimir Lapshin | 0802.3974 | cs.LO | 2008-02-28 |
| 走向预算的形式化 | Jan A. Bergstra, Sanne Nolst Trenit''e, Mark B. van der Zwaag | 0802.3617 | cs.LO | 2008-02-26 |
| Shelah和Stupp以及Muchnik迭代与单调二阶逻辑片段的兼容性 | Dietrich Kuske | 0802.2862 | cs.LO | 2008-02-21 |
| 基数和计数量词在ω-自动结构上 | Lukasz Kaiser, Sasha Rubin, Vince B''ar''any | 0802.2866 | cs.LO | 2008-02-21 |
| 通用判断和归纳逻辑的削减 | Alwen Tiu | 0801.3065 | cs.LO | 2008-01-22 |
| 从动态规范合成大型动态并发程序 | Paul C. Attie | 0801.1687 | cs.LO | 2008-01-14 |
| PDL可满足性问题的即时基于表格的决策过程 | Pietro Abate, Rajeev Gor''e and Florian Widmann | 0711.1016 | cs.LO | 2008-01-08 |
| 计算按值调用的线性-非线性模型的计算机λ演算（扩展摘要） | Peter Selinger (1), Beno^it Valiron (2) ((1) Dalhousie University, (2) University of Ottawa) | 0801.0813 | cs.LO | 2008-01-08 |
| 分布式系统活性属性的细化 | Paul C. Attie | 0801.0949 | cs.LO | 2008-01-08 |
| 有限状态并发程序可以成对表示 | Paul C. Attie | 0801.0677 | cs.LO | 2008-01-07 |
| 基于量子逻辑的有限自动机及其确定化 | Yongming Li | 0712.4341 | cs.LO | 2007-12-31 |
| 纤毛虫基因组拼装中的扩展重叠图 | Robert Brijder, Hendrik Jan Hoogeboom | 0712.3380 | cs.LO | 2007-12-21 |
| Kleene、Rogers和Rice定理在C语言和Bash中的重新审视 | Salvatore Caporaso and Nicola Corriero | 0712.1279 | cs.LO | 2007-12-11 |
| 保护的混合知识库 | Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh | 0711.2155 | cs.LO | 2007-11-15 |
| 有效的公式、游戏和网络协议。 | Jean-Louis Krivine (PPS), Yves Legrandg''erard (PPS) | 0708.1480 | cs.LO | 2007-11-14 |
| 因式分解森林定理的证明 | Manfred Kufleitner (LaBRI) | 0710.5130 | cs.LO | 2007-10-29 |
| 论文标题翻译成中文：关于Jurdzinski和Lorys的证明，回文不是一个Church-Rosser语言。 | Colm O. Dunlaing and Natalie Schluter | 0710.4499 | cs.LO | 2007-10-25 |