A
Menu
January 01, 2025 article Open access Aachen paper

Termination of triangular polynomial loops

Formal Methods in System Design

DOI: 10.18154/rwth-2024-01388 Full text (OA) OpenAlex

Authors 3

  1. Marcel Hark Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  2. Florian Frohn Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  3. Jürgen Giesl Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0