| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 使用重写规则和策略验证时态自动机 | Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner | 0907.3123 | cs.LO | 2009-07-20 |
| 测试概率过程：随机选择是否可以不可观测？ | Sonja Georgievska and Suzana Andova | 0907.1540 | cs.LO | 2009-07-10 |
| 互动结构中的共同知识 | Krzysztof R. Apt and Andreas Witzel and Jonathan A. Zvesper | 0907.0403 | cs.LO | 2009-07-03 |
| 在满足模理论中高效生成Craig插值 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani | 0906.4492 | cs.LO | 2009-06-25 |
| 基于大小终止和语义标注之间的关系 | Fr''ed''eric Blanqui (LIAMA), Cody Roux (INRIA Lorraine - LORIA) | 0906.4173 | cs.LO | 2009-06-24 |
| 非交替的定量测试语义 | Emmanuel Beffara (IML) | 0906.3994 | cs.LO | 2009-06-23 |
| 勤奋的河狸疯狂了 | Gr''egory Lafitte | 0906.3257 | cs.LO | 2009-06-22 |
| 谓词变换器、(共)单子和解析 | Pierre Hyvernat (LAMA, Iml) | 0906.2866 | cs.LO | 2009-06-17 |
| 分支时间逻辑的复杂性 | Volker Weber | 0906.2521 | cs.LO | 2009-06-16 |
| 关于模糊过程操作的方面 | Lucian Luca, Lucian L. Luca | 0905.4905 | cs.LO | 2009-06-01 |
| 关于模糊过程的一些操作 | Lucian Luca, Lucian L. Luca | 0905.4906 | cs.LO | 2009-06-01 |
| 量子Lambda演算中带测量的合流结果 | Ugo Dal Lago, Andrea Masini and Margherita Zorzi | 0905.4567 | cs.LO | 2009-05-29 |
| 直线指令序列对于取消草地上的总计算的完备性 | Jan A. Bergstra and Inge Bethke | 0905.4612 | cs.LO | 2009-05-29 |
| 关于表达能力和类不变性 | Yanjing Wang and Francien Dechesne | 0905.4332 | cs.LO | 2009-05-28 |
| 正交模格、福利斯半群与匕首核心范畴 | Bart Jacobs | 0905.4090 | cs.LO | 2009-05-27 |
| 量化语言的表达能力和封闭性质 | Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger | 0905.2195 | cs.LO | 2009-05-15 |
| λ演算的模型和理论 | Giulio Manzonetto (INRIA Rocquencourt) | 0904.4756 | cs.LO | 2009-05-01 |
| 具有非线性约束条件的线性规划问题的终止 | Bican Xia, Zhihai Zhang | 0904.3588 | cs.LO | 2009-04-24 |
| 将对象角色建模语言ORM2映射到描述逻辑语言DLRifd | C. Maria Keet | cs/0702089 | cs.LO | 2009-04-22 |
| 计算口吃模拟 | Francesco Ranzato and Francesco Tapparo | 0904.1488 | cs.LO | 2009-04-10 |
| Prolog中的高效描述逻辑推理：DLog系统 | Gergely Luk\'acsy, P\'eter Szeredi | 0904.0578 | cs.LO | 2009-04-09 |
| 模糊语言逻辑编程及其应用 | Van Hung Le (1), Fei Liu (1), and Dinh Khang Tran (2) ((1)La Trobe University, Australia (2)Hanoi University of Technology, Vietnam) | 0904.0589 | cs.LO | 2009-04-06 |
| 基于CCS的通信并发程序的动态逻辑 | Mario R. F. Benevides and L. Menasch\'e Schechter | 0904.0034 | cs.LO | 2009-04-02 |
| 使用结构递归进行核递归 | Yves Bertot (INRIA Sophia Antipolis), Ekaterina Komendantskaya (INRIA Sophia Antipolis) | 0903.3850 | cs.LO | 2009-03-24 |
| 两个模糊逻辑编程悖论意味着连续体假设="假"和选择公理="假"暗示了ZFC的不一致 | Rafee Ebrahim Kamouna | 0807.2543 | cs.LO | 2009-03-20 |