Cited By
View all- Halava VNiskanen R(2024)On simulating Turing machines with matrix semigroups with integrality testsTheoretical Computer Science10.1016/j.tcs.2024.1146371005:COnline publication date: 24-Jul-2024
- Zhu SKincaid Z(2024)Breaking the Mold: Nonlinear Ranking Function Synthesis Without TemplatesComputer Aided Verification10.1007/978-3-031-65627-9_21(431-452)Online publication date: 24-Jul-2024
- Dong R(2023)Termination of linear loops under commutative updatesProceedings of the 2023 International Symposium on Symbolic and Algebraic Computation10.1145/3597066.3597101(236-241)Online publication date: 24-Jul-2023
- Show More Cited By