Pages that link to "Item:Q2321928"
From MaRDI portal
The following pages link to Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928):
Displaying 6 items.
- The orbit problem is in the GapL hierarchy (Q626456) (← links)
- First-order orbit queries (Q2048201) (← links)
- Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q4636627) (← links)
- (Q5089296) (← links)
- (Q5090452) (← links)
- On the Monniaux problem in abstract interpretation (Q6536286) (← links)