Pages that link to "Item:Q2819718"
From MaRDI portal
The following pages link to A recursive decision method for termination of linear programs (Q2819718):
Displaying 5 items.
- Symbolic decision procedure for termination of linear programs (Q539162) (← links)
- Termination of linear programs with nonlinear constraints (Q604395) (← links)
- Termination of polynomial loops (Q2233526) (← links)
- Witness to non-termination of linear programs (Q2357364) (← links)
- Computer Aided Verification (Q5312946) (← links)