| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 参数化时态自动机中的参数更新 | ''Etienne Andr''e, Didier Lime, Mathias Ramparison | 1904.08824 | cs.FL | 2023-06-22 |
| 自动机带有MSO图存储的Büchi-Elgot-Trakhtenbrot定理 | Joost Engelfriet and Heiko Vogler | 1905.00559 | cs.FL | 2023-06-22 |
| 数据字转换器的合成 | L''eo Exibard, Emmanuel Filiot, Pierre-Alain Reynier | 1905.03538 | cs.FL | 2023-06-22 |
| 可见推动自动机的最小化是NP完全的 | Olivier Gauwin, Anca Muscholl and Michael Raskin | 1907.09563 | cs.FL | 2023-06-22 |
| 非确定性名义自动机的剩余和学习 | Joshua Moerman and Matteo Sammartino | 1910.11666 | cs.FL | 2023-06-22 |
| 加权树自动机在强双幺半群上的Crisp确定化 | Zolt''an F"ul"op, D''avid K''osz''o, Heiko Vogler | 1912.02660 | cs.FL | 2023-06-22 |
| 埃伦伯格-穆尔代数的代数语言理论 | Achim Blumensath | 2006.08316 | cs.FL | 2023-06-22 |
| 关于高阶推进系统表达能力的探讨 | Pawe{l} Parys | 2008.00650 | cs.FL | 2023-06-22 |
| 二叉树的代数是仿射完备的 | Andre Arnold, Patrick Cegielski, Serge Grigorieff and Irene Guessarian | 2011.03925 | cs.FL | 2023-06-22 |
| 寄存器和时态自动机的确定性 | Lorenzo Clemente and S{l}awomir Lasota and Rados{l}aw Pi''orkowski | 2104.03690 | cs.FL | 2023-06-22 |
| 基于同余的有限树自动机视角 | Pierre Ganty, Elena Guti''errez, Pedro Valero | 2104.11453 | cs.FL | 2023-06-22 |
| 异步花环积和并行行为的级联分解 | Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil | 2105.10897 | cs.FL | 2023-06-22 |
| 关于非确定性和明确性Petri网在无限字中的表达能力 | Olivier Finkel, Micha{l} Skrzypczak | 2107.04025 | cs.FL | 2023-06-22 |
| 参数化时间Petri网的成本问题 | Didier Lime and Olivier H. Roux and Charlotte Seidner | 2109.03658 | cs.FL | 2023-06-22 |
| 过渡系统的关节和产物及其在Petri网合成中的应用 | Raymond Devillers | 2111.00202 | cs.FL | 2023-06-22 |
| 概率并发系统简介 | Samy Abbes | 2111.00507 | cs.FL | 2023-06-22 |
| 一些允许Petri网合成的基本技术：复杂性和算法问题 | Raymond Devillers and Ronny Tredup | 2112.03605 | cs.FL | 2023-06-22 |
| 带有受限的纯净和不纯净Petri网的综合：复杂性问题 | Raymond Devillers and Ronny Tredup | 2112.03608 | cs.FL | 2023-06-22 |
| 通过因子化系统的极小性概念及示例 | Thorsten Wi{ss}mann | 2202.05701 | cs.FL | 2023-06-22 |
| 带测试的保护式克里尼代数：自动机学习 | Stefan Zetzsche, Alexandra Silva, Matteo Sammartino | 2204.14153 | cs.FL | 2023-06-22 |
| 标准自动机理论与过程代数 | Victor Yodaiken | 2205.03515 | cs.FL | 2023-06-22 |
| 非确定性迭代统一有限状态转换器的计算和描述能力 | Martin Kutrib and Andreas Malcher and Carlo Mereghetti and Beatrice Palano | 2205.15631 | cs.FL | 2023-06-22 |
| 从正例和反例构建确定性奇偶自动机 | Le''on Bohn, Christof L"oding | 2302.11043 | cs.FL | 2023-06-21 |
| 单调闭包的生成器和基底 | Stefan Zetzsche, Alexandra Silva, Matteo Sammartino | 2010.10223 | cs.FL | 2023-06-16 |
| 过渡系统和Petri网中的不变量和家庭空间 | Gerard Memmi | 2306.07623 | cs.FL | 2023-06-14 |