Pages that link to "Item:Q5145329"
From MaRDI portal
The following pages link to Polynomial Invariants for Affine Programs (Q5145329):
Displaying 18 items.
- Porous invariants (Q832262) (← links)
- Intensional Kleene and Rice theorems for abstract program semantics (Q2105439) (← links)
- Selectively-amortized resource bounding (Q2145338) (← links)
- Algebra-based synthesis of loops and their invariants (invited paper) (Q2234055) (← links)
- Lonely points in simplices (Q2679594) (← links)
- The affine hull of a binary automaton is computable in polynomial time (Q2847416) (← links)
- (Q3632452) (← links)
- Toric varieties from cyclic matrix semigroups (Q5087779) (← links)
- (Q5089296) (← links)
- (Q5089299) (← links)
- On Reachability Problems for Low-Dimensional Matrix Semigroups (Q5091195) (← links)
- Automata, Languages and Programming (Q5466534) (← links)
- Symbolic computation in automated program reasoning (Q6174522) (← links)
- On the Monniaux problem in abstract interpretation (Q6536286) (← links)
- Invariant relations for affine loops (Q6592111) (← links)
- Quantum temporal logic and reachability problems of matrix semigroups (Q6614888) (← links)
- Porous invariants for linear systems (Q6632205) (← links)
- Semigroup intersection problems in the Heisenberg groups (Q6654128) (← links)