Author:
Kuich Werner,Salomaa Arto
Publisher
Springer Berlin Heidelberg
Cited by
260 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Products, Polynomials and Differential Equations in the Stream Calculus;ACM Transactions on Computational Logic;2024-01-17
2. Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings;Electronic Proceedings in Theoretical Computer Science;2023-09-03
3. Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata;International Journal of Foundations of Computer Science;2023-07-25
4. Multiplicity Problems on Algebraic Series and Context-Free Grammars;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Kleene Algebra With Tests for Weighted Programs;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05