| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于基于类的余代数 | J.Adamek, S. Milius, J. Velebil | cs/0306118 | cs.LO | 2007-05-23 |
| 一阶逻辑的指称语义中的声音搜索 | C.F.M. Vermeulen | cs/0307067 | cs.LO | 2007-05-23 |
| 关于具有数量限制的角色组合的表达性描述逻辑的可决定性 | Fabio Grandi | cs/0308029 | cs.LO | 2007-05-23 |
| 信息的结构 | Bruce Long | cs/0309004 | cs.LO | 2007-05-23 |
| 带域的克里尼代数 | J. Desharnais, B. M"oller, G. Struth | cs/0310054 | cs.LO | 2007-05-23 |
| 具有单调基数原子的逻辑程序 | Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski | cs/0310063 | cs.LO | 2007-05-23 |
| 可满足性和计算范德瓦尔登数 | Michael R. Dransfield, Victor W. Marek, Miroslaw Truszczynski | cs/0310064 | cs.LO | 2007-05-23 |
| 时间化逻辑与时粒度的自动机 | M. Franceschet and A. Montanari | cs/0311022 | cs.LO | 2007-05-23 |
| 代理规范调节的代数 | Jan Odelstad, Magnus Boman | cs/0311046 | cs.LO | 2007-05-23 |
| 堆抽象的逻辑特征 | G. Yorsh, T. Reps, M. Sagiv, R. Wilhelm | cs/0312014 | cs.LO | 2007-05-23 |
| 编译器中的MINSAT算法学习 | Anja Remshagen and Klaus Truemper | cs/0312032 | cs.LO | 2007-05-23 |
| 用SAT解决析取线性算术问题 | Ofer Strichman | cs/0402002 | cs.LO | 2007-05-23 |
| 实用简化程序的封装 | Olga Shumsky Matlin and William McCune | cs/0402010 | cs.LO | 2007-05-23 |
| 关于异步电路延迟的数学理论探索 | Serban E. Vlad | cs/0402038 | cs.LO | 2007-05-23 |
| 关于异步电路的惯性 | Serban E. Vlad | cs/0402039 | cs.LO | 2007-05-23 |
| 定义异步电路的延迟 | Serban E. Vlad | cs/0402040 | cs.LO | 2007-05-23 |
| 异步电路模型的示例 | Serban E. Vlad | cs/0402041 | cs.LO | 2007-05-23 |
| 模型检测中与轨迹相关的状态的不完整性 | Roberto Giacobazzi and Francesco Ranzato | cs/0404048 | cs.LO | 2007-05-23 |
| 兰贝克产生机器的分析 | Riccardo Pucella | cs/0405081 | cs.LO | 2007-05-23 |
| 关于不带重置的数组数据无关系统的模型检查 | R.S. Lazic, T.C. Newcomb, A.W. Roscoe | cs/0405103 | cs.LO | 2007-05-23 |
| 带约束的边界析取查询的优化 | G. Greco, S. Greco, I. Trubtsyna, E. Zumpano | cs/0406013 | cs.LO | 2007-05-23 |
| 带索引谓词的谓词抽象 | Shuvendu K. Lahiri, Randal E. Bryant | cs/0407006 | cs.LO | 2007-05-23 |
| 关于部分递归函数的模态逻辑 | Pavel Naumov | cs/0407031 | cs.LO | 2007-05-23 |
| 更好的准序过渡系统 | Parosh Aziz Abdulla and Aletta Nylen | cs/0409052 | cs.LO | 2007-05-23 |
| 有故障、故障和恢复功能的图灵机 | Alex Vinokur | cs/0410051 | cs.LO | 2007-05-23 |