Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Cited by
87 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Regular Languages of First-Order Logic with One Alternation;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
2. How Many Times Do You Need to Go Back to the Future in Unary Temporal Logic?;LATIN 2022: Theoretical Informatics;2022
3. Schreier split extensions of preordered monoids;Journal of Logical and Algebraic Methods in Programming;2021-04
4. Adding Successor;ACM Transactions on Computational Logic;2020-03-18
5. Deciding Classes of Regular Languages: The Covering Approach;Language and Automata Theory and Applications;2020