| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| "直到的历史" | Andrea Masini, Luca Vigan`o, Marco Volpe | 0910.4500 | cs.LO | 2009-10-26 |
| 布基自动机空集算法的比较 | Andreas Gaiser, Stefan Schwoon | 0910.3766 | cs.LO | 2009-10-21 |
| 功能抽象的Zonotopic框架 | Eric Goubault and Sylvie Putot | 0910.1763 | cs.LO | 2009-10-12 |
| 从PSN推导SN：一种通用的证明技术 | Emmanuel Polonowski | 0909.5045 | cs.LO | 2009-10-08 |
| 异步监督器的设计 | Harsh Beohar, Pieter Cuijpers, and Jos Baeten | 0910.0868 | cs.LO | 2009-10-07 |
| 一个正式指定的类型系统和操作语义用于高阶过程变量 | Tristan Crolard and Emmanuel Polonowski | 0910.1020 | cs.LO | 2009-10-07 |
| 序列演算中的归纳和余归纳 | Alwen Tiu and Alberto Momigliano | 0812.4727 | cs.LO | 2009-09-30 |
| 乘法加法线性逻辑的拓扑观察 | Andr''e Hirschowitz (JAD), Michel Hirschowitz (LIX, LIST), Tom Hirschowitz (LM-Savoie) | 0807.2636 | cs.LO | 2009-09-29 |
| 关于（Ω-）正则模型检查 | Axel Legay and Pierre Wolper | 0809.2214 | cs.LO | 2009-09-29 |
| 通过一阶逻辑决定带有转置的正则语法逻辑 | Stephane Demri and Hans de Nivelle | cs/0306117 | cs.LO | 2009-09-29 |
| 非确定性线性逻辑 | Satoshi Matsuoka | cs/0410029 | cs.LO | 2009-09-29 |
| 弱类型Boehm定理在IMLL上 | Satoshi Matsuoka | cs/0410030 | cs.LO | 2009-09-29 |
| 轻型线性逻辑及其非确定性扩展的P-时间完备性 | Satoshi Matsuoka | cs/0410034 | cs.LO | 2009-09-29 |
| P2P应用的非单调信任管理 | M. Czenko, H. Tran, J. Doumen, S. Etalle, P. Hartel, J. den Hartog | cs/0510061 | cs.LO | 2009-09-29 |
| 单调类型的逻辑关系 | Jean Goubault-Larrecq, Slawomir Lasota and David Nowak | cs/0511006 | cs.LO | 2009-09-29 |
| 存储缓冲区的更好约简定理 | Ernie Cohen and Norbert Schirmer | 0909.4637 | cs.LO | 2009-09-28 |
| 轻型仿射逻辑（证明网、编程符号、P-时间正确性和完备性） | Andrea Asperti and Luca Roversi | cs/0006010 | cs.LO | 2009-09-25 |
| 使用模式确保有子类型的带类型逻辑程序的主体缩减 | Jan-Georg Smaus, Francois Fages, Pierre Deransart | cs/0010029 | cs.LO | 2009-09-25 |
| 概率加权自动机 | Krishnendu Chatterjee, Laurent Doyen and Thomas A. Henzinger | 0909.1647 | cs.LO | 2009-09-10 |
| 在Isabelle中对函数逻辑编程语义的形式化 | Francisco L''opez Fraguas, Stephan Merz (INRIA Lorraine - LORIA), Juan Rodr''iguez Hortal''a | 0908.0494 | cs.LO | 2009-08-05 |
| Fractran和生产力的复杂性 | Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks | 0903.4366 | cs.LO | 2009-07-31 |
| 基于重写的XML更新验证 | Florent Jacquemard (INRIA Saclay - Ile de France), Michael Rusinowitch (INRIA Lorraine - LORIA / LIFC) | 0907.5125 | cs.LO | 2009-07-30 |
| 克隆理论与代数逻辑 | Zhaohua Luo | 0907.4531 | cs.LO | 2009-07-28 |
| Gentzen-Prawitz 自然演绎作为教学工具 | Jean-Franc{c}ois Monin (VERIMAG - Imag), Cristian Ene (VERIMAG - Imag), Micha"el P''erin (VERIMAG - Imag) | 0907.3599 | cs.LO | 2009-07-22 |
| 类型2机器中的无限Oracle查询（扩展摘要） | Arno Pauly | 0907.3230 | cs.LO | 2009-07-21 |