Author:
Alur Rajeev,Raghothaman Mukund
Publisher
Springer Berlin Heidelberg
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pumping lemmas for weighted automata;Logical Methods in Computer Science;2021-07-21
2. Affine Extensions of Integer Vector Addition Systems with States;Logical Methods in Computer Science;2021-07-20
3. Re-pairing brackets;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
4. Register complexity and determinisation of max-plus automata;ACM SIGLOG News;2020-04-29
5. Streamable regular transductions;Theoretical Computer Science;2020-02