Author:
Cai Jin-yi,Lipton Richard J.,Zalcstein Yechezkel
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Knapsack and the power word problem in solvable Baumslag–Solitar groups;International Journal of Algebra and Computation;2023-04-21
3. On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices;Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation;2022-07-04
4. O-Minimal Invariants for Discrete-Time Dynamical Systems;ACM Transactions on Computational Logic;2022-01-14
5. What’s decidable about linear loops?;Proceedings of the ACM on Programming Languages;2022-01-12