| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 避免在定时自动机网络中共享时钟 | Sandie Balaguer (LSV, ENS Cachan, Inria, CNRS), Thomas Chatain (LSV, ENS Cachan, Inria, CNRS) | 1310.5558 | cs.FL | 2015-07-01 |
| wB-和wS-正则语言的分离性质 | Micha{l} Skrzypczak (University of Warsaw) | 1401.3214 | cs.FL | 2015-07-01 |
| 可交换文法问题的复杂性 | Eryk Kopczynski (University of Warsaw) | 1501.04245 | cs.FL | 2015-07-01 |
| 关于有理词函数的代数特征化研究 | Nathan Lhote | 1506.06497 | cs.FL | 2015-06-23 |
| 时序属性的流体模型检查 | Luca Bortolussi and Roberta Lanciani | 1506.05909 | cs.FL | 2015-06-22 |
| 加权时态自动机和加权相对距离逻辑的Nivat定理 | Manfred Droste and Vitaly Perevoshchikov | 1506.06038 | cs.FL | 2015-06-22 |
| 自组装交互模块：一个研究项目 | Gheorghe Stefanescu | 1506.05499 | cs.FL | 2015-06-19 |
| 扁平整数程序的过程间可达性 | Pierre Ganty and Radu Iosif | 1405.3069 | cs.FL | 2015-06-12 |
| 上下文无关文法的封闭性质的形式化 | Marcus V. M. Ramos and Ruy J. G. B. de Queiroz | 1506.03428 | cs.FL | 2015-06-11 |
| 最短重置词的强近似不可计算性 | Pawel Gawrychowski, Damian Straszak | 1408.5248 | cs.FL | 2015-06-10 |
| 关于$k$-分段可测试性（初步报告） | Tom''av{s} Masopust and Micha"el Thomazo | 1412.1641 | cs.FL | 2015-06-10 |
| 自底向上的树语言商和残差 | Jean-Marc Champarnaud, Ludovic Mignot, Nadia Ouali-Sebti and Djelloul Ziadi | 1506.02863 | cs.FL | 2015-06-10 |
| 亲和布兰特半群上的仿射近半环的半群约简的句法半群问题 | Jitender Kumar and K. V. Krishna | 1506.02972 | cs.FL | 2015-06-10 |
| 迹幺半群中的一致生成 | Samy Abbes and Jean Mairesse | 1506.02455 | cs.FL | 2015-06-09 |
| 时序I/O系统的Lipschitz鲁棒性 | Thomas A. Henzinger, Jan Otop and Roopsha Samanta | 1506.01233 | cs.FL | 2015-06-04 |
| 原子的复杂性，组合论角度 | Szabolcs Ivan | 1404.6632 | cs.FL | 2015-06-03 |
| 平方数的度是一个原子（扩展版） | J"org Endrullis, Clemens Grabmayer, Dimitri Hendriks, and Hans Zantema | 1506.00884 | cs.FL | 2015-06-03 |
| 计算下闭包的一种方法 | Georg Zetzsche | 1503.01068 | cs.FL | 2015-06-02 |
| 最优超小化 | Andreas Maletti, Daniel Quernheim | 1104.3007 | cs.FL | 2015-05-27 |
| 正则理想语言中原子的商复杂度 | Janusz Brzozowski and Sylvie Davies | 1503.02208 | cs.FL | 2015-05-26 |
| 形态发生的动力学基础 | Yuri Shalygo | 1503.03321 | cs.FL | 2015-05-25 |
| 可见推桟传输器的功能性 | Emmanuel Filiot, Jean-Franc{c}ois Raskin, Pierre-Alain Reynier, Fr''ed''eric Servais, Jean-Marc Talbot | 1002.1443 | cs.FL | 2015-05-18 |
| 图灵机中的锯齿形状态 | Anahi Gajardo, Pierre Guillon | 1003.0588 | cs.FL | 2015-05-18 |
| 加权树自动机的模拟 | Zolt\'an \'Esik and Andreas Maletti | 1005.2079 | cs.FL | 2015-05-18 |
| 使用游戏计算树中的分支数 | Arnaud Carayol, Axel Haddad, Olivier Serre | 1505.03852 | cs.FL | 2015-05-15 |