A
Menu
January 01, 2026 conference-paper Aachen paper

Modular Automatic Complexity Analysis of Recursive Integer Programs

Lecture notes in computer science, pp. 1–31

DOI: 10.1007/978-3-032-22723-2_1 OpenAlex

Authors 2

  1. Nils Lommen corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Jürgen Giesl Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 1 stored of 1

1 result

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

References 52