Author:
Place Thomas,Zeitoun Marc
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;M Arfi,1987
2. Ash, C.J.: Inevitable graphs: a proof of the type II conjecture and some related decision procedures. Int. J. Algebra Comput. 1(1), 127–146 (1991)
3. Brzozowski, J.A., Cohen, R.S.: Dot-depth of star-free events. J. Comput. Syst. Sci. 5(1), 1–16 (1971)
4. Chaubard, L., Éric Pin, J., Straubing, H.: First order formulas with modular predicates. In: Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), pp. 211–220 (2006)
5. Henckell, K., Margolis, S., Pin, J.E., Rhodes, J.: Ash’s type II theorem, profinite topology and Malcev products. Int. J. Algebra Comput. 1, 411–436 (1991)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Group Separation Strikes Back;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. How Many Times Do You Need to Go Back to the Future in Unary Temporal Logic?;LATIN 2022: Theoretical Informatics;2022