- Termination of Linear Loops under Commutative Updates Ruiwen Dong Tue 26 September 2023
- On the Decidability of Membership in Matrix-exponential Semigroups Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Fri 19 July 2019
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A