Termination of triangular polynomial loops

DOI10.1007/S10703-023-00440-ZMaRDI QIDQ6987109zbMATH OpenFDO

Authors Marcel Hark, Florian Frohn, Jürgen Giesl

Publication date 7 May 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

complexitydecision procedureterminationclosed formpolynomial loops

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Termination of triangular polynomial loops

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6987109)