Computing polynomial program invariants

DOI10.1016/j.ipl.2004.05.004zbMath1177.68048OpenAlexW2003141394MaRDI QIDQ2390319

Could not fetch data.

Publication date: 21 July 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2004.05.004

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.