Author:
Droste Manfred,Kuich Werner,Vogler Heiko
Publisher
Springer Berlin Heidelberg
Cited by
417 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Back to the format: A survey on SOS for probabilistic processes;Journal of Logical and Algebraic Methods in Programming;2024-02
2. Bideterministic weighted automata;Information and Computation;2023-12
3. Weighted two-way transducers;Information and Computation;2023-12
4. Tree-Based Generation of Restricted Graph Languages;International Journal of Foundations of Computer Science;2023-11-24
5. Weighted Linear Dynamic Logic;International Journal of Foundations of Computer Science;2023-11-16