The following pages link to (Q5092319):
Displaying 9 items.
- Reflections on termination of linear loops (Q832249) (← links)
- Automatic complexity analysis of integer programs via triangular weakly non-linear loops (Q2104561) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- Automatic discovery of fair paths in infinite-state transition systems (Q2147176) (← links)
- Termination of polynomial loops (Q2233526) (← links)
- Proving the existence of fair paths in infinite-state systems (Q2234061) (← links)
- (Q5028427) (← links)
- (Q5089280) (← links)
- On simulating Turing machines with matrix semigroups with integrality tests (Q6562876) (← links)
