Pages that link to "Item:Q1884908"
From MaRDI portal
The following pages link to On iterating linear transformations over recognizable sets of integers (Q1884908):
Displaying 12 items.
- Algebraic program analysis (Q832153) (← links)
- m-recognizability of sets closed under certain affine functions (Q1824406) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Model-checking CTL* over flat Presburger counter systems (Q2901199) (← links)
- A New Acceleration-Based Combination Framework for Array Properties (Q2964461) (← links)
- Iterating Octagons (Q3617767) (← links)
- Direct transformations between sets of integers and hilbert polygons (Q3802652) (← links)
- A Calculus for Modular Loop Acceleration (Q5039502) (← links)
- (Q5092319) (← links)
- (Q5389330) (← links)
- Accelerating Interpolation-Based Model-Checking (Q5458343) (← links)