Pages that link to "Item:Q2828307"
From MaRDI portal
The following pages link to Newtonian program analysis via tensor product (Q2828307):
Displaying 4 items.
- Algebraic program analysis (Q832153) (← links)
- Introduction to the special issue on computational logic for verification (Q4644352) (← links)
- Tree dimension in verification of constrained Horn clauses (Q4644355) (← links)
- On direct sums and tensor products of non-linear programs (Q5341345) (← links)