| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 停机、返回和可逆图行走自动机的状态复杂性 | Olga Martynova, Alexander Okhotin | 2011.14856 | cs.FL | 2020-12-01 |
| 基于流式监控语言的自动优化 | Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger | 2011.13344 | cs.FL | 2020-11-30 |
| 单调二阶逻辑的可计算性 | Joost Engelfriet | 2008.12151 | cs.FL | 2020-11-25 |
| 正则语言的渐近逼近 | Ryoma Sin'ya | 2008.01413 | cs.FL | 2020-11-18 |
| 密集时间中的AMS断言中的循环 | Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta | 2011.08805 | cs.FL | 2020-11-18 |
| 关于不含布尔运算的语言变种 | Fabian Birkmann and Stefan Milius and Henning Urbat | 2011.06951 | cs.FL | 2020-11-16 |
| 随机自动机的同余 | Ernst-Erich Doberkat | 2011.06954 | cs.FL | 2020-11-16 |
| 确定性有限自动机的本地可测试性顺序的精确估计 | A.N.Trahtman | 2011.06253 | cs.FL | 2020-11-13 |
| 减少本地阈值可测试性测试的时间复杂度 | A.N. Trahtman | 2011.06262 | cs.FL | 2020-11-13 |
| 一些用于DFA研究的新特征和算法 | Avraham N. Trahtman | 2011.05575 | cs.FL | 2020-11-12 |
| 左[右]本地可测试性的多项式时间算法 | A.N. Trahtman | 2011.04236 | cs.FL | 2020-11-10 |
| LSAT行为规范向自动机的转换 | Sander Thuijsman, Michel Reniers | 2011.03249 | cs.FL | 2020-11-09 |
| 循环避免阿贝尔幂 | Jarkko Peltom"aki and Markus A. Whiteland | 2006.06307 | cs.FL | 2020-11-04 |
| 关于半自动机的Krohn-Rhodes理论 | Karl-Heinz Zimmermann | 2010.16235 | cs.FL | 2020-11-02 |
| 学习自动机和转换器：一种范畴论方法 | Thomas Colcombet, Daniela Petric{s}an, Riccardo Stabile | 2010.13675 | cs.FL | 2020-10-27 |
| 具有多个随机触发的混合Petri网的状态空间构建 | Jannik H"uls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke | 2010.11056 | cs.FL | 2020-10-22 |
| 验证归纳定义参数化系统的安全性属性 | Marius Bozga and Radu Iosif | 2008.04160 | cs.FL | 2020-10-15 |
| 标记推动图上的最短路径不保持MSO可判定性。 | Arnaud Carayol and Olivier Serre | 1510.04000 | cs.FL | 2020-10-14 |
| 关于一些上下文无关语言的表示 | Krasimir Yordzhev | 2010.04823 | cs.FL | 2020-10-13 |
| 基于自动机的定量验证 | Suguman Bansal | 2010.02055 | cs.FL | 2020-10-06 |
| 关于商店语言和应用 | Oscar H. Ibarra and Ian McQuillan | 2010.00523 | cs.FL | 2020-10-02 |
| 关于交替奇偶优于博弈自动机简洁性的研究 | Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Micha{\l} Skrzypczak | 2009.14437 | cs.FL | 2020-10-01 |
| 图的加权平铺系统：评估复杂性 | C. Aiswarya and Paul Gastin | 2009.14542 | cs.FL | 2020-10-01 |
| 比较标记马尔可夫决策过程 | Stefan Kiefer and Qiyi Tang | 2009.11643 | cs.FL | 2020-09-25 |
| GFG和基于转换的自动机中的正则性 | Bader Abu Radi, Orna Kupferman | 2009.10885 | cs.FL | 2020-09-24 |