Subject
Algebra and Number Theory
Reference14 articles.
1. Characterizations of locally testable events;Brzozowski;Discrete Math.,1973
2. G. Jacob, Un théorème de factorisation des produits d'endomorphismes de KN, J. Algebra,àparaître.
3. On peut décider si un semi-groupe de matrices est fini;Jacob;Theoretical Computer Sci.,1977
4. Fields and Rings;Kaplansky,1969
5. Algebraic decision procedures for local testability;McNaughton;Math. Systems Theory,1974
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Strongest Algebraic Program Invariants;Journal of the ACM;2023-10-11
2. Decidability and k-regular sequences;Theoretical Computer Science;2022-03
3. Determinisability of unary weighted automata over the rational numbers;Theoretical Computer Science;2022-01
4. Polynomial Invariants for Affine Programs;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. The finiteness problem for monoids of morphisms;RAIRO - Theoretical Informatics and Applications;2015-01