Pages that link to "Item:Q5363097"
From MaRDI portal
The following pages link to On Termination of Integer Linear Loops (Q5363097):
Displaying 20 items.
- Reflections on termination of linear loops (Q832249) (← links)
- Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) (Q1740664) (← links)
- On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond (Q2051775) (← links)
- On eventual non-negativity and positivity for the weighted sum of powers of matrices (Q2104554) (← links)
- Termination of polynomial loops (Q2233526) (← links)
- Computing expected runtimes for constant probability programs (Q2305420) (← links)
- Witness to non-termination of linear programs (Q2357364) (← links)
- Non-termination Sets of Simple Linear Loops (Q2915099) (← links)
- TERMINATION ANALYSIS OF LINEAR LOOPS (Q3069740) (← links)
- Reachability Problems for One-Dimensional Piecewise Affine Maps (Q3177337) (← links)
- O-Minimal Invariants for Discrete-Time Dynamical Systems (Q5002799) (← links)
- On the Identity Problem for the Special Linear Group and the Heisenberg Group. (Q5002819) (← links)
- A Calculus for Modular Loop Acceleration (Q5039502) (← links)
- On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (Q5092447) (← links)
- (Q5111259) (← links)
- Complexity of Restricted Variants of Skolem and Related Problems (Q5111295) (← links)
- (Q5499193) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897503) (← links)
- The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (Q6178465) (← links)
- On the identity and group problems for complex Heisenberg matrices (Q6623013) (← links)
