scientific article; zbMATH DE number 4113989
From MaRDI portal
Publication:4729341
zbMath0679.68065MaRDI QIDQ4729341
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Analysis of linear definite iterative loops ⋮ Nonlinear invariants for linear loops and eigenpolynomials of linear operators ⋮ A method of proving the invariance of linear inequalities for linear loops
This page was built for publication:
