| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 有限状态复杂性与转换器的大小 | Cristian Calude (University of Auckland), Kai Salomaa (Queen's University), Tania Roblot (University of Auckland) | 1008.1667 | cs.FL | 2010-08-11 |
| 测试除法的状态复杂度 | Emilie Charlier, Narad Rampersad, Michel Rigo, Laurent Waxweiler | 1008.1668 | cs.FL | 2010-08-11 |
| 概率非干扰中贝叶斯风险的组合封闭性 | Annabelle McIver and Larissa Meinicke and Carroll Morgan | 1007.1054 | cs.FL | 2010-07-08 |
| CTMDPs和马尔可夫博弈的最优时间抽象调度器 | Markus Rabe (Saarland University), Sven Schewe (University of Liverpool) | 1006.5103 | cs.FL | 2010-06-29 |
| 阿贝尔原始词 | Michael Domaratzki, Narad Rampersad | 1006.4104 | cs.FL | 2010-06-25 |
| 两种组合操作的状态复杂度：反转-串联和闭包-串联。 | Bo Cui, Yuan Gao, Lila Kari, Sheng Yu | 1006.4646 | cs.FL | 2010-06-25 |
| 时态系统的故障诊断的动态观测器 | Franck Cassez | 1006.4681 | cs.FL | 2010-06-25 |
| $ω$-正则语言的可监测性 | Andreas Bauer | 1006.3638 | cs.FL | 2010-06-21 |
| 合并与交集相结合的星号和反转的状态复杂度 | Yuan Gao, Sheng Yu | 1006.3755 | cs.FL | 2010-06-21 |
| 五维超网格中强普适双曲元胞自动机状态数的上界 | Maurice Margenstern | 1006.3451 | cs.FL | 2010-06-18 |
| 不可堆叠图像单词的态射 | C. Robinson Tompkins | 1006.1273 | cs.FL | 2010-06-08 |
| 有限最优控制在时限可达性问题的CTMDPs和连续时间马尔可夫博弈中 | Markus Rabe and Sven Schewe | 1004.4005 | cs.FL | 2010-06-07 |
| 三维双态下的一种新弱通用细胞自动机 | Maurice Margenstern | 1005.4826 | cs.FL | 2010-05-27 |
| 关于序数确定有限自动机的注记 | Stephen L. Bloom and YiDi Zhang | 1005.2329 | cs.FL | 2010-05-14 |
| 平均技巧与Cerny猜想 | Benjamin Steinberg | 0910.0410 | cs.FL | 2010-05-11 |
| 关于最小不可完成单词问题 | Gabriele Fici, Elena V. Pribavkina, Jacques Sakarovitch | 1002.1928 | cs.FL | 2010-04-26 |
| 两种带有简单上下文检查机制的无上下文重写系统的比较 | Tomas Masopust | 1004.3635 | cs.FL | 2010-04-22 |
| 动态观测器的故障诊断 | Franck Cassez and Stavros Tripakis | 1004.2810 | cs.FL | 2010-04-19 |
| 离散事件和定时系统的协同诊断能力的复杂性 | Franck Cassez | 1004.2550 | cs.FL | 2010-04-16 |
| 关于胞空性可判定性的注记 | Udayan B.Darji, Steve W. Seif | 1004.1946 | cs.FL | 2010-04-13 |
| 交换文法问题的复杂性 | Eryk Kopczy''nski | 1003.4105 | cs.FL | 2010-03-23 |
| 时序和电路设计的状态机模型 | Victor Yodaiken | 1003.0522 | cs.FL | 2010-03-03 |
| 关于Carpi和Alessandro猜想 | M.V. Berlinkov | 0909.3790 | cs.FL | 2010-02-15 |
| 测试正则表达式成员资格的证明过程 | Keehang Kwon, Hong Pyo Ha, Jiseung Kim | 1002.2203 | cs.FL | 2010-02-11 |
| 代数线性序 | Stephen L. Bloom and Zoltan Esik | 1002.1624 | cs.FL | 2010-02-10 |