Pages that link to "Item:Q859958"
From MaRDI portal
The following pages link to Polynomial approximations of the relational semantics of imperative programs (Q859958):
Displaying 5 items.
- Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928) (← links)
- Computing polynomial program invariants (Q2390319) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ (Q3522079) (← links)
- Static Analysis (Q5466568) (← links)